10669 search results - page 2029 / 2134 » Software - Implemented Self-healing System |
189
click to vote
ENTCS
2010
15 years 3 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
174
click to vote
ESWA
2010
15 years 3 months ago
2010
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
133
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: In Zukunft wird es verstärkt notwendig sein, sicherheitskritische Systeme statt in Ada in der Programmiersprache C zu implementieren. Die Verwendung von C ist getrieben vom Mang...
284
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...
185
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...