Sciweavers

1876 search results - page 283 / 376
» Language Networks on LiveJournal
Sort
View
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
15 years 9 months ago
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
Nicola Drago, Franco Fummi, Marco Monguzzi, Giovan...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
IFIP
2003
Springer
15 years 9 months ago
A Novel Approach for Distributed Simulation of Wireless Mobile Systems
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
Luciano Bononi, Gabriele D'Angelo
UM
2010
Springer
15 years 9 months ago
Twitter, Sensors and UI: Robust Context Modeling for Interruption Management
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
Justin Tang, Donald J. Patterson
WETICE
2002
IEEE
15 years 9 months ago
Evaluation of a Publish/Subscribe System for Collaborative and Mobile Working
The MObile Teamwork Infrastructure for Organizations Networking (MOTION) 1 service platform that we have designed and implemented addresses an emerging requirement in the daily bu...
Pascal Fenkam, Engin Kirda, Schahram Dustdar, Hara...