Sciweavers

2346 search results - page 257 / 470
» Hierarchical State Machines
Sort
View
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
16 years 26 days ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
PDP
2007
IEEE
16 years 24 days ago
Parallel-External Computation of the Cycle Structure of Invertible Cryptographic Functions
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
Andreas Beckmann, Jorg Keller
ECTEL
2007
Springer
16 years 21 days ago
Conceiving Digital Literacies in Schools - Norwegian Experiences
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....
Ola Erstad
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
16 years 18 days ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
ISCIS
2005
Springer
16 years 1 days ago
Generalizing Redundancy Elimination in Checking Sequences
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, H&uu...