1524 search results - page 117 / 305 » Operational Semantics of Hybrid Systems |
DCOSS
2007
Springer
15 years 4 months ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
EH
2005
IEEE
15 years 3 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
115
click to vote
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
AIME
2007
Springer
15 years 4 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...