Sciweavers

1305 search results - page 134 / 261
» The design context of concurrent computation systems
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
CHI
2008
ACM
16 years 6 months ago
Acceptance of augmented reality instructions in a real work setting
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
Björn J. E. Johansson, Susanna Nilsson
IEEESCC
2006
IEEE
16 years 14 days ago
Modeling Non-Functional Aspects in Service Oriented Architecture
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
ICFP
2008
ACM
16 years 6 months ago
A functional model-view-controller software architecture for command-oriented programs
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
Alley Stoughton
MOBISYS
2009
ACM
16 years 7 months ago
Attacks on public WLAN-based positioning systems
In this work, we study the security of public WLAN-based positioning systems. Specifically, we investigate the Skyhook positioning system, available on PCs and used on a number of...
Nils Ole Tippenhauer, Kasper Bonne Rasmussen, Chri...