Sciweavers

4286 search results - page 106 / 858
» Formalizing Service Interactions
Sort
View
CHIMIT
2009
ACM
16 years 23 days ago
Scripting practices in complex systems management
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
Eser Kandogan, Paul P. Maglio, Eben M. Haber, John...
TSE
1998
115views more  TSE 1998»
15 years 5 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
COMPOS
1997
Springer
15 years 10 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
JCPHY
2011
79views more  JCPHY 2011»
14 years 9 months ago
Stochastic Eulerian Lagrangian methods for fluid-structure interactions with thermal fluctuations
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
Paul J. Atzberger
HCI
2007
15 years 7 months ago
Coupling Interaction Resources and Technical Support
Coupling is the action of binding two entities so that they can operate together to provide new functions. In this article, we propose a formal definition for coupling and present ...
Nicolas Barralon, Joëlle Coutaz, Christophe L...