Browse

New! Learn more about the all new DeepDyve personalized home page where you can quickly skim your favorite journals all from one place

ACM SIGBED Review Volume 3 Issue 4

2011
- Volume 8
  - Issue 4 (Dec)
2009
- Volume 6
  - Issue 2 (Jul)
  - Issue 1 (Jan)
2008
- Volume 5
2007
- Volume 4
2006
- Volume 3
2005
- Volume 2
2004
- Volume 1

Bookmark
More Like This XMG0yVbgyk $2.99

Safety, security, and object-oriented programming

Gasperoni, Franco

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006
Bookmark
More Like This 0B5pTNsmz3 $2.99

Quality measures for embedded systems and their application to control and certification

Rohloff, Kurt; Loyall, Joseph; Schantz, Richard

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006
Bookmark
More Like This 0Mv9TQarh4 $2.99

Process and product certification arguments: getting the balance right

Habli, Ibrahim; Kelly, Tim

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006
Bookmark
More Like This GZZXa1xdwm $2.99

Certifying cryptographic protocols by abstract model-checking and proof concretization

Janvier, R.; Lakhnech, Y.; Périn, M.

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006
Bookmark
More Like This j0KaL0x7UN $2.99

Towards formally verifiable resource bounds for real-time embedded systems

Hammond, Kevin; Ferdinand, Christian; Heckmann, Reinhold

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006
Bookmark
More Like This r4SdhVVZPB $2.99

Complex medical processes as context for embedded systems

Avrunin, George S.; Clarke, Lori A.; Henneman, Elizabeth A.; Osterweil, Leon J.

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

About DeepDyve

DeepDyve provides simple and affordable access to millions of articles across thousands of peer-reviewed journals. Content from the world's leading publishers including Reed Elsevier, Springer, Wiley-Blackwell, and more. DeepDyve — the simplest way to get the articles you need.
Rent from the Cloud - starting at $0.99
With DeepDyve, you can "rent" and read an article through your browser— for as little as $0.99. What exactly is "renting"? Renting an article means you can read the full article as often as you like until it expires (7 days or longer), but it cannot be downloaded or printed. Renting allows you to save up to 90%, so you can read articles without the worry.

"Rent to Own" — Buy PDF's, Save up to 20%
With DeepDyve's monthly plans (starting at $5.99), you not only get savings on rentals, you also receive 20% discount coupons for your PDF purchases. What happens if you don't use all your rental tokens or coupons this month? No problem, they automatically roll-over so you can stockpile them for when you need them.
14-day Risk Free Trial — Commitment Free, Cancel Anytime

Still thinking it over? Then try our service for free for 14 days. You can cancel at any time within the trial, no questions asked, and your credit card will not be billed. Should you continue with our service beyond the trial, you will only be charged month-to-month, so you can still cancel at any time — there's no contract or long-term commitment.
Privacy and Security

DeepDyve values your privacy and security. We will never sell your personal information to any third party.

Sign Up for a DeepDyve Account

Bookmark an Article

To bookmark an article, please log in first, or sign up for a DeepDyve account if you don't already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.

Please refresh to generate a new download link

Your article download link has expired. Please refresh this page to obtain a new download link and try again.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.

ACM SIGBED Review Volume 3 Issue 4

Safety, security, and object-oriented programming

Gasperoni, Franco

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Quality measures for embedded systems and their application to control and certification

Rohloff, Kurt; Loyall, Joseph; Schantz, Richard

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Process and product certification arguments: getting the balance right

Habli, Ibrahim; Kelly, Tim

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Certifying cryptographic protocols by abstract model-checking and proof concretization

Janvier, R.; Lakhnech, Y.; Périn, M.

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Towards formally verifiable resource bounds for real-time embedded systems

Hammond, Kevin; Ferdinand, Christian; Heckmann, Reinhold

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Complex medical processes as context for embedded systems

Avrunin, George S.; Clarke, Lori A.; Henneman, Elizabeth A.; Osterweil, Leon J.

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Welcome to DeepDyve

About

Support

About DeepDyve

14-day Risk Free Trial — Commitment Free, Cancel Anytime

Privacy and Security

Bookmark an Article

Subscribe to Journal Email Alerts

Please refresh to generate a new download link

Follow a Journal

Advanced Filters:

Specific Data Sources:

ACM SIGBED Review Volume 3 Issue 4

1 - 6 of 6 articles

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

Rohloff, Kurt; Loyall, Joseph; Schantz, Richard

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

Habli, Ibrahim; Kelly, Tim

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

Janvier, R.; Lakhnech, Y.; Périn, M.

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

Hammond, Kevin; Ferdinand, Christian; Heckmann, Reinhold

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

Avrunin, George S.; Clarke, Lori A.; Henneman, Elizabeth A.; Osterweil, Leon J.

Follow ACM SIGBED Review , Volume 3 (4) Association for Computing Machinery – Oct 1, 2006

About DeepDyve

14-day Risk Free Trial — Commitment Free, Cancel Anytime

Privacy and Security

Bookmark an Article

Subscribe to Journal Email Alerts

Please refresh to generate a new download link

Follow a Journal

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006

Follow ACM SIGBED Review , Volume 3 (4)
Association for Computing Machinery – Oct 1, 2006