2501 search results - page 216 / 501 » Obligations and Their Interaction with Programs |
123
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
139
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
The twin mainstream computing shifts of mobility and programable Web are fundamentally impacting how humans interact, socialize, and access information. Never before has computing...
143
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
134
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
149
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...