2205 search results - page 151 / 441 » Mutation Operators for Specifications |
144
click to vote
EDOC
2006
IEEE
16 years 10 days 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...
158
click to vote
VTC
2006
IEEE
16 years 9 days 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...
164
click to vote
EDOC
2005
IEEE
15 years 12 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...
183
click to vote
DSVIS
2005
Springer
15 years 11 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 ...
118
click to vote
KES
2004
Springer
15 years 11 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...