8109 search results - page 1048 / 1622 » A Model of Component-Based Programming |
232
click to vote
PADS
2006
ACM
16 years 1 months 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...
183
click to vote
APSEC
2005
IEEE
16 years 1 months 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...
217
click to vote
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
237
Voted
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
177
Voted
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...