3495 search results - page 227 / 699 » On the random satisfiable process |
170
click to vote
CEEMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
182
click to vote
ICMCS
2005
IEEE
16 years 24 days ago
2005
IEEE
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
203
click to vote
GCC
2003
Springer
16 years 12 days ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
182
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
154
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...