Sciweavers

2276 search results - page 331 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
150
Voted
REALWSN
2010
14 years 10 months ago
K2: A System for Campaign Deployments of Wireless Sensor Networks
Abstract. Environmental scientists frequently engage in "campaignstyle" deployments, where they visit a location for a relatively short period of time (several weeks to m...
Douglas Carlson, Jayant Gupchup, Rob Fatland, Andr...
CSCW
2011
ACM
14 years 11 months ago
It's about time: confronting latency in the development of groupware systems
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
Cheryl Savery, T. C. Nicholas Graham
115
Voted
ICFEM
2007
Springer
15 years 10 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ISORC
2006
IEEE
15 years 10 months ago
Load Balancing Techniques for Distributed Stream Processing Applications in Overlay Environments
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
Yannis Drougas, Thomas Repantis, Vana Kalogeraki
138
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...