249 search results - page 35 / 50 » Context Sensitivity in Logical Modeling with Time Delays |
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Several predictive systems are nowadays vital for operations and decision support. The quality of these systems is most of the time defined by their average accuracy which has lo...
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
150
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
We investigate if WiFi access can be used to augment 3G capacity in mobile environments. We first conduct a detailed study of 3G and WiFi access from moving vehicles, in three dif...
132
click to vote
ANSS
2002
IEEE
15 years 6 months ago
2002
IEEE
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
153
click to vote
FORTE
2009
14 years 11 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...