Sciweavers

8768 search results - page 127 / 1754
» Generalizing the notion of support
Sort
View
198
Voted
DALT
2004
Springer
16 years 13 days ago
Dynamics of Declarative Goals in Agent Programming
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent...
Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, ...
FOSSACS
2004
Springer
16 years 13 days ago
On Recognizable Timed Languages
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
Oded Maler, Amir Pnueli
ESORICS
1998
Springer
15 years 11 months ago
Side Channel Cryptanalysis of Product Ciphers
Building on the work of Kocher[Koc96], Jaffe, and Yun [KJY98], we discuss the notion of side-channel cryptanalysis: cryptanalysis using implementation data. We discuss the notion o...
John Kelsey, Bruce Schneier, David Wagner, Chris H...
HYBRID
2007
Springer
15 years 11 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
BROADNETS
2004
IEEE
15 years 10 months ago
Power Save Mechanisms for Multi-Hop Wireless Networks
In this paper, we discuss power save mechanisms that allow hosts to go to sleep to conserve energy. When sleeping hosts need to receive packets from other hosts. Thus, these hosts...
Matthew J. Miller, Nitin H. Vaidya