518 search results - page 89 / 104 » Time Window Temporal Logic |
139
click to vote
HPCNCS
2007
15 years 2 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
114
click to vote
SASO
2010
IEEE
14 years 11 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
ISCA
2000
IEEE
15 years 5 months ago
2000
IEEE
The register file access time is one of the critical delays in current superscalar processors. Its impact on processor performance is likely to increase in future processor genera...
137
click to vote
MTV
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
122
click to vote
AAAI
1996
15 years 2 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...