Sciweavers

Share
CHI
2011
ACM
8 years 1 months ago
Mediated parent-child contact in work-separated families
Parents and children in families living with regular separation due to work develop strategies to manage being apart. We interviewed 14 pairs of parents and children (ages 7 – 1...
Svetlana Yarosh, Gregory D. Abowd
WWW
2011
ACM
8 years 5 months ago
Choreography conformance via synchronizability
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
Samik Basu, Tevfik Bultan
INTERNET
2006
144views more  INTERNET 2006»
8 years 10 months ago
Analyzing Conversations of Web Services
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
Tevfik Bultan, Jianwen Su, Xiang Fu
ECOOP
1995
Springer
9 years 1 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
Ichiro Satoh, Mario Tokoro
ESEM
2007
ACM
9 years 2 months ago
A Controlled Experiment on the Effects of Synchronicity in Remote Inspection Meetings
Traditionally, software inspection has largely relied on collocated interaction of inspectors. As companies have begun to turn to distributed software development, meeting in a ro...
Fabio Calefato, Filippo Lanubile, Teresa Mallardo
CONCUR
1997
Springer
9 years 2 months ago
First-Order Axioms for Asynchrony
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
Peter Selinger
ICALP
2010
Springer
9 years 3 months ago
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
Ivan Lanese, Jorge A. Pérez, Davide Sangior...
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
9 years 3 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
CBSE
2005
Springer
9 years 3 months ago
Performance Prediction of J2EE Applications Using Messaging Protocols
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
Yan Liu, Ian Gorton
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
9 years 3 months ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
books