6201 search results - page 1027 / 1241 » Implementation of Axiomatic Language |
175
click to vote
AADEBUG
2005
Springer
16 years 4 days ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
194
click to vote
AADEBUG
2005
Springer
16 years 4 days ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
169
click to vote
AIIA
2005
Springer
16 years 4 days ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
178
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, a new agent development platform, which includes built-in features for semantic web based multi agent system development, is introduced. All agents and services in ...
181
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...