2597 search results - page 456 / 520 » A Relational Approach to Support Software Architecture Analy... |
MIDDLEWARE
2001
Springer
15 years 2 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
JWSR
2006
14 years 9 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
PRESENCE
2007
14 years 9 months ago
2007
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...