Sciweavers

550 search results - page 62 / 110
» An Application Directed Adaptive Framework for Autonomic Sof...
Sort
View
DATE
2008
IEEE
182views Hardware» more  DATE 2008»
15 years 5 months ago
An adaptable FPGA-based System for Regular Expression Matching
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...
Ivano Bonesana, Marco Paolieri, Marco D. Santambro...
100
Voted
AAAI
2006
15 years 15 days ago
The Robot Intelligence Kernel
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
David J. Bruemmer, Douglas A. Few, Miles C. Walton...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 4 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
CHI
1999
ACM
15 years 3 months ago
SWEETPEA: Software Tools for Programmable Embodied Agents
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
Michael Kaminsky, Paul Dourish, W. Keith Edwards, ...
DAIS
2008
15 years 16 days ago
Adaptive Web Service Migration
In highly dynamic and heterogeneous environments such as mobile and ubiquitous computing, software must be able to adapt at runtime and react to the environment. Furthermore it sho...
Holger Schmidt, Rüdiger Kapitza, Franz J. Hau...