6343 search results - page 286 / 1269 » Development of a Cartographic Language |
161
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
175
click to vote
AINA
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes a light-weight, content-based, functional query language. The Mathematical Services Query Language (MSQL) has been developed for querying mathematical web ser...
159
click to vote
COMPSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
190
click to vote
PADL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
168
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce FoXQ, a visual language that would enable end users to query XML. Our aim is to develop a language that would bring a lot of the functionality of XQuery within the re...