3825 search results - page 584 / 765 » The Language of Time: A Reader |
197
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
220
click to vote
ICLP
2004
Springer
16 years 15 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
182
click to vote
ICALP
2003
Springer
16 years 10 days ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
222
click to vote
MPC
2010
Springer
15 years 12 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
209
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
Recently there is much interest in moving objects databases, and data models and query languages have been proposed offering data types such as moving point and moving region toge...