700 search results - page 91 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
130
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
107
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
110
click to vote
FTCS
1998
15 years 2 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
RE
1995
Springer
15 years 5 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
IADIS
2004
15 years 2 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...