Sciweavers

3088 search results - page 160 / 618
» A Teleradiology System Design Case
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
EUROMICRO
2006
IEEE
16 years 19 days ago
Composing Components in Design Phase using Exogenous Connectors
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...
Kung-Kiu Lau, Ling Ling, Zheng Wang
CBSE
2005
Springer
16 years 3 days ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
DEXAW
2002
IEEE
151views Database» more  DEXAW 2002»
15 years 11 months ago
Domain-Independent eNegotiation Design: Prospects, Methods, and Challenges
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...
Dirk Neumann, Christof Weinhardt
CHI
2003
ACM
16 years 7 months ago
The challenges of user-centered design and evaluation for infrastructure
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
W. Keith Edwards, Victoria Bellotti, Anind K. Dey,...