Sciweavers

3830 search results - page 572 / 766
» From Reference Model to Component Model
Sort
View
PRICAI
2000
Springer
15 years 6 months ago
Functional Understanding Based on an Ontology of Functional Concepts
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizog...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 4 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
ICSOFT
2008
15 years 4 months ago
An Architecture for Non Functional Properties Management in Distributed Computing
One of the primary benefits of Service Oriented Architecture (SOA) [1] is the ability to compose applications, processes or more complex services from other services. As the comple...
Pierre de Leusse, Panos Periorellis, Theodosis Dim...
ICWS
2008
IEEE
15 years 4 months ago
A Dependable Infrastructure for Cooperative Web Services Coordination
A current trend in the web services community is to define coordination mechanisms to execute collaborative tasks involving multiple organizations. Following this tendency, this w...
Eduardo Adílio Pelinson Alchieri, Alysson N...
LREC
2008
115views Education» more  LREC 2008»
15 years 4 months ago
Generating Bilingual Dictionaries by Transitivity
Recently the LATL has undertaken the development of a multilingual translation system based on a symbolic parsing technology and on a transfer-based translation model. A crucial c...
Luka Nerima, Eric Wehrli