27 search results - page 3 / 6 » Extending noninterference properties to the timed world |
ECAI
1992
Springer
13 years 11 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
IJCAI
2007
13 years 8 months ago
2007
Time series data abounds in real world problems. Measuring the similarity of time series is a key to solving these problems. One state of the art measure is the longest common sub...
DCOSS
2007
Springer
13 years 11 months ago
2007
Springer
Sensor networks are often used to sense the physical world and provide observations for various uses. In hostile environments, it is critical to control the network access to ensur...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...