Sciweavers

2930 search results - page 413 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
IROS
2008
IEEE
117views Robotics» more  IROS 2008»
16 years 27 days ago
Kinodynamic motion planning with hardware demonstrations
Abstract— This paper provides proof-of-concept that stateof-the-art sampling-based motion planners that are tightly integrated with a physics-based simulator can compute paths th...
Ioan Alexandru Sucan, Jonathan F. Kruse, Mark Yim,...
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 11 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
EUROCRYPT
2003
Springer
15 years 11 months ago
Algebraic Attacks on Stream Ciphers with Linear Feedback
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...
Nicolas Courtois, Willi Meier
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
FAST
2009
15 years 4 months ago
Perspective: Semantic Data Management for the Home
Perspective is a storage system designed for the home, with the decentralization and flexibility sought by home users and a new semantic filesystem construct, the view, to simplif...
Brandon Salmon, Steven W. Schlosser, Lorrie Faith ...