9989 search results - page 40 / 1998 » A CLP Approach to Modelling Systems |
140
Voted
CA
2002
IEEE
15 years 8 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
137
Voted
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
117
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
161
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
155
Voted
FGCS
2011
14 years 10 months ago
2011
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...