2205 search results - page 151 / 441 » Mutation Operators for Specifications |
EDOC
2006
IEEE
14 years 3 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, in order to realize the consecutive long-term operations of sensor networks, we propose a novel sustainable sensor network routing protocol considering easy node ex...
EDOC
2005
IEEE
14 years 3 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
KES
2004
Springer
14 years 2 months ago
2004
Springer
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...