Sciweavers

4151 search results - page 470 / 831
» Language Driven System Design
Sort
View
EPEW
2005
Springer
16 years 12 days ago
Reasoning About Interaction Patterns in Choreography
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
CASES
2006
ACM
16 years 25 days ago
Extensible control architectures
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
Greg Hoover, Forrest Brewer, Timothy Sherwood
IUI
2000
ACM
15 years 11 months ago
Expression constraints in multimodal human-computer interaction
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Da...
ICSE
2008
IEEE-ACM
16 years 7 months ago
CodeCity: 3D visualization of large-scale software
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
Richard Wettel, Michele Lanza