3765 search results - page 327 / 753 » Formal Methods for Systems Engineering Behavior Models |
176
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
193
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
185
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
212
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
249
Voted
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...