7139 search results - page 891 / 1428 » Language Engineering in Practice |
211
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
187
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
204
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
193
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
198
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...