6274 search results - page 756 / 1255 » Proofs, Programs, Processes |
172
click to vote
KBSE
2006
IEEE
16 years 29 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
217
click to vote
PADS
2006
ACM
16 years 27 days ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
174
click to vote
APSEC
2005
IEEE
16 years 17 days ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
170
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
185
click to vote
SAC
2005
ACM
16 years 15 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...