1285 search results - page 128 / 257 » Structural Operators for Modeling 3-Manifolds |
150
Voted
ENTCS
2008
15 years 3 months 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...
129
Voted
JANCL
2007
15 years 3 months 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 ...
137
Voted
FAC
2010
15 years 2 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...
162
Voted
DDECS
2009
IEEE
15 years 10 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....
146
Voted
WIAMIS
2009
IEEE
15 years 10 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...