Sciweavers

296 search results - page 49 / 60
» A Tool for Choreography Analysis Using Collaboration Diagram...
Sort
View
MSS
1999
IEEE
111views Hardware» more  MSS 1999»
13 years 12 months ago
Massive-Scale Data Management using Standards-Based Solutions
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
Jamie Shiers
ECSCW
2007
13 years 9 months ago
The Distributed Work of Local Action: Interaction amongst virtually collocated research teams
Existing research on synchronous remote working in CSCW has highlighted the troubles that can arise because actions at one site are (partially) unavailable to remote colleagues. Su...
Dylan Tutt, Jon Hindmarsh, Muneeb Shaukat, Mike Fr...
PSYCHNOLOGY
2007
96views more  PSYCHNOLOGY 2007»
13 years 7 months ago
A First-time Wireless Internet Connection: More Than Just Clicking on a Link
In the context of understanding the particular use made of nomad Internet and mobile computing in its interactional dimension, this article examines the detail of a first-time con...
Dimitri Voilmy, Karine Lan Hing Ting
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
TAOSD
2010
13 years 6 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...