882 search results - page 131 / 177 » Allowing State Changes in Specifications |
181
click to vote
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
146
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...
148
click to vote
CW
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
146
click to vote
HASE
2002
IEEE
15 years 10 months ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...
170
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...