1992 search results - page 359 / 399 » Model Based Testing with Labelled Transition Systems |
115
Voted
KDD
2004
ACM
15 years 7 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
112
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
151
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
137
click to vote
PADS
2000
ACM
15 years 6 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
88
Voted
LREC
2008
15 years 3 months ago
2008
We have obtained the valuable findings about the developmental processes of demonstrative expression skills, which is concerned with the fundamental commonsense of human knowledge...