523 search results - page 92 / 105 » Online Testing of Real-time Systems Using Uppaal |
AR
2008
13 years 7 months ago
2008
Intentional behavior is a basic property of intelligence and it incorporates the cyclic operation of prediction, testing by action, sensing, perceiving, and assimilating the exper...
ICAC
2007
IEEE
14 years 1 months ago
2007
IEEE
As the use of virtualization and partitioning grows, it becomes possible to deploy a multi-tier web-based application with a variable amount of computing power. This introduces th...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Extreme transistor scaling trends in silicon technology are soon to reach a point where manufactured systems will suffer from limited device reliability and severely reduced life...
USITS
2003
13 years 9 months ago
2003
In 1986 Jim Gray published his landmark study of the causes of failures of Tandem systems and the techniques Tandem used to prevent such failures [6]. Seventeen years later, Inter...
SIGIR
1993
ACM
13 years 11 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...