925 search results - page 115 / 185 » Typing Component-Based Communication Systems |
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
WICSA
2001
14 years 11 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
MBEC
2010
14 years 4 months ago
2010
Over the last years, inertial sensing has proven to be a suitable ambulatory alternative to traditional human motion tracking based on optical position measurement systems, which a...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
ANLP
1994
14 years 11 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...