252 search results - page 43 / 51 » Checking Properties of Business Process Models with Logic Pr... |
105
click to vote
ASE
1999
14 years 11 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
123
Voted
MTV
2006
IEEE
15 years 5 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
183
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
117
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
112
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...