Sciweavers

336 search results - page 45 / 68
» Formal architectural abstractions for interactive software
Sort
View
EMSOFT
2009
Springer
15 years 4 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
LAWEB
2006
IEEE
15 years 3 months ago
Policy Support for Business-oriented Web Service Management
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
Stephen Gorton, Stephan Reiff-Marganiec
JSW
2006
92views more  JSW 2006»
14 years 9 months ago
Design a Jini-based Service Broker for Dynamic Service Combination Framework
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
Kuo-Wei Hsu
CASCON
2010
166views Education» more  CASCON 2010»
14 years 7 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen
78
Voted
CIA
2004
Springer
15 years 3 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos