3765 search results - page 407 / 753 » Formal Methods for Systems Engineering Behavior Models |
198
click to vote
CSMR
2005
IEEE
16 years 12 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
222
click to vote
DMSN
2009
ACM
16 years 1 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
169
click to vote
COOTS
1996
15 years 8 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
184
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
183
click to vote
JCP
2008
15 years 6 months ago
2008
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...