Sciweavers

179 search results - page 22 / 36
» A Comparative Analysis of i*-Based Agent-Oriented Modeling L...
Sort
View
ECOOP
2004
Springer
14 years 4 days ago
Composable Encapsulation Policies
Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...
Nathanael Schärli, Stéphane Ducasse, O...
IWFM
2000
107views Formal Methods» more  IWFM 2000»
13 years 8 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
CI
1999
90views more  CI 1999»
13 years 6 months ago
Efficient Implementation of Semantic Relations in Lexical Databases
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
Uta Priss
JAVA
2001
Springer
13 years 11 months ago
Runtime optimizations for a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedja...
LREC
2010
138views Education» more  LREC 2010»
13 years 8 months ago
FOLKER: An Annotation Tool for Efficient Transcription of Natural, Multi-party Interaction
This paper presents FOLKER, an annotation tool developed for the efficient transcription of natural, multi-party interaction in a conversation analysis framework. FOLKER is being ...
Thomas Schmidt, Wilfried Schütte