6343 search results - page 875 / 1269 » Development of a Cartographic Language |
157
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
193
click to vote
DEXA
2004
Springer
16 years 8 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
175
click to vote
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
194
click to vote
EDBTW
2004
Springer
16 years 8 days ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
187
click to vote
EUROSPI
2004
Springer
16 years 8 days ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...