Sciweavers

731 search results - page 81 / 147
» Specification Matching of Software Components
Sort
View
ATAL
2006
Springer
15 years 3 months ago
Agent dependability as an architectural issue
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
Peter C. Lockemann, Jens Nimis
WWW
2005
ACM
16 years 6 days ago
Middleware services for web service compositions
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
Anis Charfi, Mira Mezini
JCP
2006
106views more  JCP 2006»
14 years 11 months ago
Using Firewalls to Enforce Enterprise-wide Policies over Standard Client-Server Interactions
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
Tuan Phan, Zhijun He, Thu D. Nguyen
KBSE
2000
IEEE
15 years 3 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
ECIS
2000
15 years 27 days ago
Best of Breed IT Strategy: An Alternative to Enterprise Resource Planning Systems
- Enterprise Resource Planning (ERP) software has become the dominant strategic platform for supporting enterprise-wide business processes. However, single vendor ERP software syst...
Ben Light, Christopher P. Holland, Sue Kelly, Karl...