Sciweavers

1850 search results - page 107 / 370
» Design-for-debugging of application specific designs
Sort
View
ENTCS
2006
141views more  ENTCS 2006»
15 years 3 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
126
Voted
IEEESCC
2007
IEEE
15 years 9 months ago
A distributed service-oriented mediation tool
—Integration of heterogeneous information becomes again a requirement with the emergence of large-scale distributed applications such as Web-Services based Applications. Enterpri...
Colombe Herault, Gaël Thomas, Philippe Laland...
112
Voted
ACSAC
1999
IEEE
15 years 7 months ago
Non-repudiation Evidence Generation for CORBA using XML
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
Michael Wichert, David B. Ingham, Steve J. Caughey
117
Voted
SOCO
2008
Springer
15 years 3 months ago
Compositional Modeling for Data-Centric Business Applications
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
Ethan K. Jackson, Wolfram Schulte
JCST
2008
109views more  JCST 2008»
15 years 3 months ago
WWW Business Applications Based on the Cellular Model
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki