2562 search results - page 241 / 513 » The Use of B2B Process Standards: A Case Study |
214
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
222
click to vote
JEI
2006
15 years 6 months ago
2006
In this paper, we show how Markovian strategies used to solve well-known segmentation problems such as motion estimation, motion detection, motion segmentation, stereovision, and c...
201
Voted
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
167
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
156
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...