2205 search results - page 161 / 441 » Mutation Operators for Specifications |
ECSCW
2001
13 years 11 months ago
2001
Current application-sharing systems support a single architecture for all collaborations, though different systems support different architectures We have developed a system that s...
IEE
2007
13 years 9 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
JUCS
2007
13 years 9 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
KI
2007
Springer
13 years 9 months ago
2007
Springer
Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, after t...
CUZA
2002
13 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...