4290 search results - page 186 / 858 » Formal Approaches to Teamwork |
190
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
174
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
174
click to vote
MAGS
2010
15 years 1 months ago
2010
Community is a common phenomenon in natural ecosystems, human societies as well as artificial multi-agent systems such as those in web and Internet based applications. In many sel...
149
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
176
click to vote
EWSA
2004
Springer
16 years 22 hour ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....