1285 search results - page 128 / 257 » Structural Operators for Modeling 3-Manifolds |
123
click to vote
ENTCS
2008
15 years 25 days ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
104
Voted
JANCL
2007
15 years 20 days ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
113
click to vote
FAC
2010
14 years 11 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
132
Voted
DDECS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
123
Voted
WIAMIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Multimedia data collections immersed into social networks may be explored from the point of view of varying documents and users characteristics. In this paper, we develop a unifi...