3515 search results - page 682 / 703 » On the semantics of Strategy Logic |
192
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
181
click to vote
IEEEPACT
2006
IEEE
16 years 26 days ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...
237
click to vote
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
193
click to vote
PLDI
2005
ACM
16 years 12 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
169
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...