Sciweavers

2357 search results - page 141 / 472
» Computing Refactorings of Behavior Models
Sort
View
ICES
2005
Springer
106views Hardware» more  ICES 2005»
15 years 8 months ago
Intrinsic Evolution of Controllable Oscillators in FPTA-2
Abstract. Simple one- and two-bit controllable oscillators were intrinsically evolved using only four cells of Field Programmable Transistor Array (FPTA-2). These oscillators can p...
Lukás Sekanina, Ricardo Salem Zebulum
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 2 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
GPC
2007
Springer
15 years 9 months ago
Heterogeneous Wireless Sensor Network Deployment and Topology Control Based on Irregular Sensor Model
Heterogeneous wireless sensor network (heterogeneous WSN) consists of sensor nodes with different ability, such as different computing power and sensing range. Compared with homoge...
Chun-Hsien Wu, Yeh-Ching Chung
DSN
2005
IEEE
15 years 8 months ago
Model-Based Failure Analysis of Journaling File Systems
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Rem...
SAC
2005
ACM
15 years 8 months ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi