4722 search results - page 45 / 945 » Encoding Program Executions |
POPL
2008
ACM
14 years 10 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
IFIP
2009
Springer
13 years 7 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
CP
2005
Springer
14 years 3 months ago
2005
Springer
Interacting with a web service enabled marketplace in order to achieve a complex task involves sequencing a set of individual service operations, gathering information from the ser...
Publication
The program provides exclusive distance learning option for working professionals who wish to enhance their managerial skills and move a step ahead from their counterparts. The cou...