Sciweavers

608 search results - page 30 / 122
» Modeling Building-Block Interdependency
Sort
View
JUCS
2008
137views more  JUCS 2008»
13 years 7 months ago
The Trade-Offs of Blending Synchronous and Asynchronous Communication Services to Support Contextual Collaboration
: Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user e...
Werner Geyer, Roberto Silveira Silva Filho, Beth B...
WDAG
1998
Springer
123views Algorithms» more  WDAG 1998»
14 years 4 days ago
Propagation and Leader Election in a Multihop Broadcast Environment
The paper addresses the problemof solving classic distributed algorithmic problems under the practical model of Broadcast Communication Networks. Our main result is a new Leader El...
Israel Cidon, Osnat Mokryn
DAI
1995
Springer
13 years 11 months ago
A Methodology for Developing Agent Based Systems
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
Elizabeth A. Kendall, Margaret T. Malkoun, Chong H...
JCS
2011
74views more  JCS 2011»
13 years 2 months ago
Model-checking trace-based information flow properties
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra...
ICCBR
2007
Springer
14 years 2 months ago
The Role of Context Models in Association with Flexible Design Processes - Position Paper
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
Mirjam Minor, Daniel Schmalen, Andreas Koldehoff