10072 search results - page 1452 / 2015 » Composition of Model Programs |
213
click to vote
ICSM
2005
IEEE
16 years 24 days 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...
231
click to vote
AADEBUG
2005
Springer
16 years 22 days 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...
170
click to vote
ATAL
2005
Springer
16 years 22 days 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...
223
click to vote
ESOP
2005
Springer
16 years 22 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
182
click to vote
FSTTCS
2005
Springer
16 years 21 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...