Sciweavers

1850 search results - page 107 / 370
» Design-for-debugging of application specific designs
Sort
View
ENTCS
2006
141views more  ENTCS 2006»
15 years 6 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...
IEEESCC
2007
IEEE
16 years 20 days 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...
ACSAC
1999
IEEE
15 years 10 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
SOCO
2008
Springer
15 years 6 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 6 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