Sciweavers

1329 search results - page 153 / 266
» Semantics of Architectural Connectors
Sort
View
IJCAI
1989
13 years 11 months ago
Platypus: A Constraint-Based Reasoning System
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
William S. Havens, Paul Stephen Rehfuss
ENTCS
2010
82views more  ENTCS 2010»
13 years 10 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...
ENTCS
2008
83views more  ENTCS 2008»
13 years 10 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
SIGMOD
2002
ACM
114views Database» more  SIGMOD 2002»
13 years 10 months ago
An Active Functionality Service for E-Business Applications
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
Mariano Cilia, Alejandro P. Buchmann
WWW
2004
ACM
14 years 11 months ago
Hearsay: enabling audio browsing on hypertext content
In this paper we present HearSay, a system for browsing hypertext Web documents via audio. The HearSay system is based on our novel approach to automatically creating audio browsa...
I. V. Ramakrishnan, Amanda Stent, Guizhen Yang