501 search results - page 27 / 101 » Diagram Techniques for Confluence |
118
click to vote
IAJIT
2008
15 years 1 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
102
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper presents a new method for reactive collision avoidance for mobile robots in complex and cluttered environments. Our technique is to adapt the “divide and conquer...
154
click to vote
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
91
Voted
ISMVL
2003
IEEE
15 years 7 months ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
104
click to vote
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...