4666 search results - page 716 / 934 » Equations on Timed Languages |
155
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
128
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
145
Voted
ICCD
2000
IEEE
16 years 1 months ago
2000
IEEE
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
144
Voted
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
136
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...