Sciweavers

143 search results - page 5 / 29
» Supporting Heterogeneous Architecture Descriptions in an Ext...
Sort
View
ERCIMDL
2000
Springer
185views Education» more  ERCIMDL 2000»
13 years 11 months ago
CORC: Helping Libraries Take a Leading Role in the Digital Age
The OCLC Cooperative Online Resource Catalog is helping librarians thrive in the digital age. Librarians are using CORC to select, describe, maintain, and provide guided access to ...
Kay Covert
WOA
2003
13 years 9 months ago
An Integrated Resource Management Architecture for Wireless Smart Environments
— Pervasive and ubiquitous computing is enabling the implementation of “smart environments”, i.e., environments where applications support and enhance the abilities of their ...
Paolo Bellavista, Antonio Corradi, Silvia Vecchi
ICSE
2007
IEEE-ACM
14 years 7 months ago
Mismar: A New Approach to Developer Documentation
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
Barthélémy Dagenais, Harold Ossher
LCTRTS
2004
Springer
14 years 1 months ago
Spinach: a liberty-based simulator for programmable network interface architectures
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
Paul Willmann, Michael Brogioli, Vijay S. Pai
EMSOFT
2004
Springer
14 years 1 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...