10406 search results - page 94 / 2082 » Using RDF to Model the Structure and Process of Systems |
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
CIKM
2006
Springer
15 years 2 days ago
2006
Springer
Peer Data Management Systems (PDMS) are a natural extension of heterogeneous database systems. One of the main tasks in such systems is efficient query processing. Insisting on co...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Wikis are established means for the collaborative authoring, versioning and publishing of textual articles. The Wikipedia project, for example, succeeded in creating the by far lar...
138
click to vote
BIOWIRE
2007
Springer
15 years 4 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...