8555 search results - page 314 / 1711 » Property Based Coordination |
185
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
185
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
153
click to vote
IMR
2003
Springer
16 years 21 days ago
2003
Springer
The 8-tetrahedra longest-edge (8T-LE) partition of any tetrahedron is defined in terms of three consecutive edge bisections, the first one performed by the longest-edge. The ass...
187
click to vote
AGENTS
2000
Springer
15 years 12 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
198
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
This work proposes the use of an adaptive neighborhood procedure to extract local statistical properties of images in order to improve a speckle noise "Maximum a Posteriori &q...