Sciweavers

7530 search results - page 408 / 1506
» Design and Implementation of the YAWL System
Sort
View
MEMOCODE
2010
IEEE
15 years 5 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
FAST
2009
15 years 4 months ago
Cumulus: Filesystem Backup to the Cloud
In this paper we describe Cumulus, a system for efficiently implementing filesystem backups over the Internet. Cumulus is specifically designed under a thin cloud assumption--that...
Michael Vrable, Stefan Savage, Geoffrey M. Voelker
SIGOPS
2008
100views more  SIGOPS 2008»
15 years 5 months ago
Power management in the EPOS system
Power management strategies for embedded systems typically rely on static, application driven deactivation of components (e.g. sleep, suspend), or on dynamic voltage and frequency...
Geovani Ricardo Wiedenhoft, Lucas Francisco Wanner...
AOSE
2000
Springer
15 years 11 months ago
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
Michael Wooldridge, Paolo Ciancarini
ICAI
2008
15 years 8 months ago
Behavior-based Perceptual Navigation for Semi-Autonomous Wheelchair Operations
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...
Hajime Uchiyama, Walter D. Potter