2765 search results - page 532 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
77
Voted
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
CC
2003
Springer
15 years 2 months ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
KR
2010
Springer
15 years 2 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
88
Voted
DSD
2009
IEEE
15 years 1 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...