1784 search results - page 209 / 357 » Formal Models for Embedded System Design |
81
Voted
ENTCS
2007
14 years 10 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
CEFP
2005
Springer
15 years 3 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
193
Voted
AMCS
2011
14 years 5 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...