5203 search results - page 749 / 1041 » An approach to workflow modeling and analysis |
186
click to vote
SMA
2009
ACM
15 years 11 months ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well deļ¬ned on smooth surfaces. However, due to the nature as higher order diļ...
169
click to vote
FASE
1998
Springer
15 years 11 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
180
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
168
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
150
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...