2556 search results - page 240 / 512 » The Triconnected Abstraction of Process Models |
235
click to vote
TCOS
2008
15 years 7 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
174
click to vote
ICCSA
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In this paper, efficient and economical methods for water area detection during flood event in mountainous area is proposed. To accomplish this, various case studies were...
182
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
196
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
205
click to vote
DAGM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Virtually all variational methods for motion estimation regularize the gradient of the flow field, which introduces a bias towards piecewise constant motions in weakly te...