1179 search results - page 144 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
133
click to vote
ASWC
2006
Springer
15 years 8 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
144
click to vote
USENIX
2008
15 years 6 months ago
2008
Evaluating novel networked protocols and services requires subjecting the target system to realistic Internet conditions. However, there is no common understanding of what is requ...
120
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
128
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A predictive outage compensator co-located with the actuator node in a networked control system can be used to counteract unpredictable losses of data in the feedback control l...
178
click to vote
EEF
2000
15 years 8 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...