828 search results - page 94 / 166 » Modularity for Timed and Hybrid Systems |
157
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Data in many industrial application systems are often neither completely structured nor unstructured. Consequently semi-structured data models such as XML have become pop...
130
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Though fingerprint identification is widely used now, its imperfect performance for some high security applications, such as ATM, the access control of nuclear power stations and ...
149
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
158
click to vote
HYBRID
2011
Springer
14 years 3 months ago
2011
Springer
We examine the problem of reliable networked control when the communication channel between the controller and the actuator periodically drops packets and is faulty i.e., corrupts...
132
click to vote
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Current methods for selectivity estimation fall into two broad categories, synopsis-based and sampling-based. Synopsis-based methods, such as histograms, incur minimal overhead at ...