186 search results - page 13 / 38 » Global consistency checking of distributed models with TReMe... |
104
click to vote
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
86
Voted
COMPULOG
1999
Springer
15 years 4 months ago
1999
Springer
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
VVEIS
2007
15 years 27 days ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
104
click to vote
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This work recommends an architecture and its fundamental components for motion planning for mobile robots in dynamic environments. An adaptive behavior to typical motion patter...
102
click to vote
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...