1402 search results - page 238 / 281 » A Practical Agent Programming Language |
122
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
172
click to vote
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
223
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
108
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
167
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...