3828 search results - page 252 / 766 » Proof-Based System Engineering Using a Virtual System Model |
164
click to vote
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
173
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
202
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
189
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
154
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. In applications that use a large number of groups, ...