4693 search results - page 371 / 939 » Verifying Hybrid Systems |
160
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
152
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...
155
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Measuring system performance seems conceptually straightforward. However, the interpretation of the results and predicting future performance remain as exceptional challenges in s...
165
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
208
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...