1676 search results - page 300 / 336 » Formal System Development with KIV |
135
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless sensor networks have recently been suggested for many surveillance applications such as object monitoring, path protection, or area coverage. Since the sensors themselves...
153
click to vote
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
136
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
155
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
160
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...