9989 search results - page 40 / 1998 » A CLP Approach to Modelling Systems |
170
click to vote
CA
2002
IEEE
15 years 11 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...
166
click to vote
ISOLA
2004
Springer
15 years 11 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...
153
click to vote
KDD
2004
ACM
16 years 6 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...
187
click to vote
CAV
2012
Springer
13 years 8 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...
186
click to vote
FGCS
2011
15 years 28 days 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...