436 search results - page 7 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
SOFSEM
2012
Springer
12 years 4 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
AMAST
2006
Springer
13 years 10 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
PCI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
AMAI
2006
Springer
13 years 8 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
ER
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. We present a new technique for discovering and representing structural changes between two versions of a directed acyclic graph (DAG). Motivated by the necessity of chang...