224 search results - page 27 / 45 » A Modeling Paradigm for Integrated Modular Avionics Design |
EAGC
2004
Springer
14 years 1 months ago
2004
Springer
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
EUROSIM
1994
13 years 9 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
COMPUTER
2007
13 years 7 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
JUCS
2008
13 years 7 months ago
2008
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...