3885 search results - page 39 / 777 » Clarifying Goal Models |
ILP
2005
Springer
15 years 7 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...
113
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
100
click to vote
IFL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
110
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
110
click to vote
ER
2000
Springer
15 years 5 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...