2702 search results - page 240 / 541 » Practically Applicable Formal Methods |
139
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
124
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
97
Voted
IFL
2005
Springer
15 years 8 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
150
click to vote
ATS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we present a technique for reducing the test length of counter-based pseudo-exhaustive built-in self-testing (BIST) based on width compression method. More formally...
133
Voted
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...