Sciweavers

331 search results - page 38 / 67
» Fuxi: An Agile Development Environment for Embedded Systems
Sort
View
JUCS
2000
102views more  JUCS 2000»
14 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ACMACE
2004
ACM
15 years 3 months ago
Mobile sound communities
: This paper describes a research project aimed at developing authoring tools for the collaborative creation of soundscapes and an associated system for the storage and playback of...
William Carter, Scott S. Fisher
BIOWIRE
2007
Springer
15 years 4 months ago
Bio-Inspired Approaches for Autonomic Pervasive Computing Systems
In this chapter, we present some of the biologically-inspired approaches, developed within the context of the European project BIONETS for enabling autonomic pervasive computing en...
Daniele Miorandi, Iacopo Carreras, Eitan Altman, L...
PRDC
2008
IEEE
15 years 4 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
PERCOM
2003
ACM
15 years 9 months ago
BASE - A Micro-Broker-Based Middleware for Pervasive Computing
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
Christian Becker, Gregor Schiele, Holger Gubbels, ...