411 search results - page 70 / 83 » Automating the Dependency Pair Method |
ICECCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
AI
2007
Springer
14 years 4 months ago
2007
Springer
Many researchers have used text classification method in solving the ontology mapping problem. Their mapping results heavily depend on the availability of quality exemplars used as...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
BIBM
2007
IEEE
14 years 2 months ago
2007
IEEE
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...