Sciweavers

1963 search results - page 256 / 393
» How is aliasing used in systems software
Sort
View
AOSE
2005
Springer
15 years 11 months ago
Zooming Multi-Agent Systems
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...
JUCS
2000
102views more  JUCS 2000»
15 years 5 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é...
CMMR
2007
Springer
126views Music» more  CMMR 2007»
15 years 11 months ago
BioTools: A Biosignal Toolbox for Composers and Performers
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
Miguel Angel Ortiz Pérez, R. Benjamin Knapp
OWLED
2007
15 years 7 months ago
Semantic Web Technologies in Technical Automotive Documentation
RDF is the format of choice to exchange data between software components of a corporate system. That’s why we decided to use it in a recent work at Renault, in the field of tech...
François-Paul Servant
CSFW
2008
IEEE
16 years 2 days ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang