15660 search results - page 3053 / 3132 » The Unbalance of Set Systems |
163
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...
190
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
188
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
196
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
172
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
Rogue (unauthorized) wireless access points pose serious security threats to local networks. In this paper, we propose two online algorithms to detect rogue access points using se...