1027 search results - page 57 / 206 » Callgraph properties of executables |
102
click to vote
ASM
2003
ASM
15 years 6 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
93
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
74
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
112
Voted
CAV
2009
Springer
15 years 5 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
99
Voted
ICDCS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...