2473 search results - page 190 / 495 » Systems, Views and Models of UML |
203
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
175
click to vote
GPCE
2003
Springer
16 years 7 days ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
316
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
175
click to vote
VIP
2003
15 years 8 months ago
2003
1 This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the enti...
184
click to vote
ICMCS
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper introduces two kinds of free viewpoint observation systems for sporting events captured with uncalibrated multiple cameras in a stadium. In the first system (Viewpoint...