3909 search results - page 395 / 782 » Extreme Model Checking |
126
click to vote
PATMOS
2007
Springer
15 years 10 months 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...
129
click to vote
CSFW
2005
IEEE
15 years 10 months 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 ...
137
click to vote
DGCI
2005
Springer
15 years 10 months 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...
151
Voted
RSP
2002
IEEE
15 years 9 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...
115
click to vote
AUSAI
2001
Springer
15 years 9 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...