1799 search results - page 298 / 360 » The Logic of Correctness in Software Engineering |
171
Voted
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
145
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
159
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
178
Voted
ATAL
1995
Springer
15 years 9 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
192
click to vote
WSC
1997
15 years 7 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...