1926 search results - page 302 / 386 » Modeling and Model Checking Software Product Lines |
111
click to vote
JAVA
2001
Springer
15 years 4 months ago
2001
Springer
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...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
IADIS
2004
15 years 1 months ago
2004
Traditional proprietary methods of software development are nowadays facing increasing competition by open-source models. Community of users and developers has become a valuable r...
123
click to vote
ICMAS
2000
15 years 1 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
121
click to vote
AOSE
2001
Springer
15 years 4 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...