4799 search results - page 718 / 960 » Model Based Requirements Engineering for Embedded Software |
184
click to vote
ISBRA
2010
Springer
16 years 1 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
163
click to vote
TRUST
2010
Springer
15 years 11 months ago
2010
Springer
Direct Anonymous Attestation (DAA) is an anonymous signature scheme designed for anonymous attestation of a Trusted Platform Module (TPM) while preserving the privacy of the devic...
165
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
191
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
169
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...