5414 search results - page 175 / 1083 » Exploratory Model Building |
116
Voted
PCI
2001
Springer
15 years 6 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
120
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
150
click to vote
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
117
Voted
ISTA
2003
15 years 3 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
146
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
We are building a system that can automatically acquire 3D range scans and 2D images to build geometrically and photometrically correct 3D models of urban environments. A major bo...