1980 search results - page 234 / 396 » Compositional Model Checking of Real Time Systems |
134
Voted
KES
2008
Springer
15 years 3 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
148
Voted
IS
2007
15 years 3 months ago
2007
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more comple...
133
Voted
MASCOTS
2004
15 years 4 months ago
2004
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...
121
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
107
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...