5630 search results - page 35 / 1126 » Computability in Specification |
ICPPW
2006
IEEE
14 years 3 months ago
2006
IEEE
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
NIPS
2008
13 years 11 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
DSN
2008
IEEE
13 years 11 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
SIBGRAPI
2005
IEEE
14 years 3 months ago
2005
IEEE
Direct volume rendering techniques are used to visualize and explore large scalar volumes. Transfer functions (TFs) that assign opacity and color to scalar values are very importa...