4722 search results - page 115 / 945 » Encoding Program Executions |
127
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
143
click to vote
ENTCS
2008
15 years 2 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
128
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
105
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
131
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...