3516 search results - page 182 / 704 » Programming Languages: Application and Interpretation |
168
click to vote
SP
2009
IEEE
16 years 24 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
145
click to vote
GPCE
2007
Springer
16 years 7 days ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
146
click to vote
ACSC
2008
IEEE
16 years 17 days ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
168
click to vote
SASO
2008
IEEE
16 years 14 days ago
2008
IEEE
Currently, cycle sharing over the Internet is a one-way deal. Computer owners only have one role in the process: to donate their computers’ idle time. This is due to the fact th...
173
click to vote
COMPSAC
2008
IEEE
16 years 16 days ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...