7623 search results - page 267 / 1525 » Constructive Volume Modeling |
125
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
131
click to vote
GMP
2000
IEEE
15 years 8 months ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...
130
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
132
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
154
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...