3828 search results - page 107 / 766 » Proof-Based System Engineering Using a Virtual System Model |
152
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
128
click to vote
WSC
1997
15 years 6 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
215
click to vote
REPLICATION
2010
15 years 3 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...
129
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
142
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...