89 search results - page 2 / 18 » A Language Framework for Expressing Checkable Properties of ... |
CEEMAS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
IEE
2008
13 years 4 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
ICSE
2008
IEEE-ACM
14 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...