Sciweavers

973 search results - page 117 / 195
» An Integrated Self-Testing Framework for Autonomic Computing...
Sort
View
ATAL
2005
Springer
15 years 10 months ago
Optimal design in collaborative design network
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
Y. Xiang, J. Chen, William S. Havens
LREC
2008
130views Education» more  LREC 2008»
15 years 6 months ago
COLDIC, a Lexicographic Platform for LMF compliant lexica
Despite of the importance of lexical resources for a number of NLP applications (Machine Translation, Information Extraction, Event Detection and Tracking, Question Answering, amo...
Núria Bel, Sergio Espeja, Montserrat Marimo...
WOA
2000
15 years 6 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
ICFEM
1997
Springer
15 years 9 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CODES
2001
IEEE
15 years 8 months ago
A constraint-based application model and scheduling techniques for power-aware systems
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh, Fadi ...