11328 search results - page 20 / 2266 » Timed Branching Processes |
121
Voted
DEDS
2007
15 years 1 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
220
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Sensor networks and other distributed information systems (such as the Web) must frequently access data that has a high per-attribute acquisition cost, in terms of energy, latency...
117
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
101
Voted
VLDB
2000
ACM
15 years 5 months ago
2000
ACM
Temporal databases assume a single line of time evolution. In other words, they support timeevolving data. However there are applications which require the support of temporal dat...
114
click to vote
GLVLSI
1997
IEEE
15 years 6 months ago
1997
IEEE
Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. Ho...