12452 search results - page 2371 / 2491 » An exploration of program as language |
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
In agent systems, different (autonomous) agents collaborate to execute complex tasks. Each agent provides a set of useful capabilities, and the agent system combines these capabili...
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
130
click to vote
ISCOPE
1999
Springer
15 years 2 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
XML is fast emerging as the dominant standard for representing data in the World Wide Web. Sophisticated query engines that allow users to effectively tap the data stored in XML d...
ERCIMDL
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Since 1994, the Alexandria Digital Library Project has developed three prototype digital libraries for georeferenced information. This paper describes the most recent of ...