3425 search results - page 629 / 685 » A Model Driven Approach for Software Systems Reliability |
153
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
115
click to vote
COMPUTER
1999
15 years 2 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
120
click to vote
EUROSYS
2007
ACM
16 years 8 days ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...
123
click to vote
UIST
2006
ACM
15 years 9 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
130
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...