Sciweavers

857 search results - page 66 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
15 years 4 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
ATAL
2005
Springer
15 years 3 months ago
Formalizing and achieving multiparty agreements via commitments
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
Feng Wan, Munindar P. Singh
UML
2005
Springer
15 years 3 months ago
Modeling Crosscutting Services with UML Sequence Diagrams
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
Martin Deubler, Michael Meisinger, Sabine Rittmann...
TEI
2012
ACM
228views Hardware» more  TEI 2012»
13 years 5 months ago
DressUp: a 3D interface for clothing design with a physical mannequin
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
Amy Wibowo, Daisuke Sakamoto, Jun Mitani, Takeo Ig...
63
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi