340 search results - page 62 / 68 » Model checking the composition of hypermedia design componen... |
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
DSN
2003
IEEE
14 years 23 days ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
ISARCS
2010
13 years 9 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
MMMACNS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
AC
2002
Springer
13 years 7 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...