1784 search results - page 32 / 357 » Formal Models for Embedded System Design |
APIN
2006
13 years 8 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...