3825 search results - page 310 / 765 » The Language of Time: A Reader |
208
click to vote
TIME
2007
IEEE
16 years 28 days ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
187
click to vote
AB
2007
Springer
16 years 26 days ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
183
click to vote
AIIA
2007
Springer
16 years 26 days ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
155
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
199
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present an expected polynomial time algorithm to generate a labeled planar graph uniformly at random. To generate the planar graphs, we derive recurrence formulas that...