1370 search results - page 184 / 274 » Metacase Tools for Multidimensional Development of Informati... |
CONCUR
2006
Springer
14 years 20 days ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
EDBT
2010
ACM
14 years 7 days ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...