378 search results - page 64 / 76 » Formalizing Spider Diagrams |
186
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
129
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
153
click to vote
CERA
2002
15 years 4 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
170
click to vote
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
146
click to vote
ICEIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...