Sciweavers

1518 search results - page 159 / 304
» Cryptographic Test Correction
Sort
View
90
Voted
SAC
2009
ACM
15 years 7 months ago
Lightweight monitoring of sensor software
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
Mustafa Hammad, Jonathan Cook
100
Voted
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
15 years 7 months ago
Debugging of Toffoli networks
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
Robert Wille, Daniel Große, Stefan Frehse, G...
BPM
2009
Springer
113views Business» more  BPM 2009»
15 years 7 months ago
Set Algebra for Service Behavior: Applications and Constructions
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
Kathrin Kaschner, Karsten Wolf
99
Voted
ISCIS
2009
Springer
15 years 7 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
126
Voted
ISVC
2009
Springer
15 years 7 months ago
A Real-Time Road Sign Detection Using Bilateral Chinese Transform
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...
Rachid Belaroussi, Jean-Philippe Tarel