2776 search results - page 256 / 556 » System-Level Abstraction Semantics |
198
click to vote
LPAR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
185
click to vote
MABS
2004
Springer
16 years 18 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
198
click to vote
CRYPTO
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
230
click to vote
EWSPT
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
197
click to vote
COMPSAC
2002
IEEE
16 years 6 days ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...