Sciweavers

179 search results - page 22 / 36
» A Comparative Analysis of i*-Based Agent-Oriented Modeling L...
Sort
View
95
Voted
ECOOP
2004
Springer
15 years 6 months 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...
127
Voted
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 2 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
112
Voted
CI
1999
90views more  CI 1999»
15 years 12 days 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
121
Voted
JAVA
2001
Springer
15 years 5 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...
121
Voted
LREC
2010
138views Education» more  LREC 2010»
15 years 2 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