3909 search results - page 395 / 782 » Extreme Model Checking |
161
click to vote
PATMOS
2007
Springer
16 years 27 days ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
176
click to vote
CSFW
2005
IEEE
16 years 11 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
174
click to vote
DGCI
2005
Springer
16 years 9 days ago
2005
Springer
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
179
click to vote
RSP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
147
click to vote
AUSAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...