3796 search results - page 231 / 760 » The Failure of Personalities to Generalize |
178
click to vote
CALCO
2005
Springer
16 years 4 days ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
162
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
244
click to vote
CHARME
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
199
click to vote
EDCC
2005
Springer
16 years 4 days ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
178
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...