Sciweavers

440 search results - page 42 / 88
» A DOP Model for Semantic Interpretation
Sort
View
FORTE
2008
15 years 7 months ago
Distributed Semantics and Implementation for Systems with Interaction and Priority
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
ECCV
1996
Springer
16 years 8 months ago
Generation of Semantic Regions from Image Sequences
The simultaneous interpretation of object behaviour from real world image sequences is a highly desirable goal in machine vision. Although this is rather a sophisticated task, one ...
Jonathan H. Fernyhough, Anthony G. Cohn, David Hog...
OTM
2005
Springer
15 years 11 months ago
Semantic Transformation of Web Services
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
David Bell, Sergio de Cesare, Mark Lycett
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 9 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
LICS
2005
IEEE
15 years 11 months ago
Relations in Concurrency
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
Glynn Winskel