3082 search results - page 77 / 617 » Deviation Analysis: A New Use of Model Checking |
142
click to vote
KBSE
2007
IEEE
15 years 12 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
167
click to vote
IS
2008
15 years 5 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
167
click to vote
3DIM
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...
183
Voted
IEEEARES
2009
IEEE
15 years 3 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
156
click to vote
REFSQ
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...