4061 search results - page 161 / 813 » Framework Evolution Tool |
102
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
128
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
104
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
120
click to vote
CATA
2004
15 years 5 months ago
2004
Ontologies are central to the architecture of the Semantic Web, the next generation Web that is currently under active development. We have developed ImageSpace, an image ontology...
176
click to vote
WIESS
2000
15 years 5 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...