2111 search results - page 114 / 423 » How to Program Pervasive Systems |
109
Voted
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
152
click to vote
LCPC
1992
Springer
15 years 4 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
105
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
106
Voted
PDPTA
2003
15 years 2 months ago
2003
The paper begins by considering what a Grid Computing Environment might be, why it is demanded, and how the authors’ HPspmd programming fits into this picture. We then review o...
70
Voted
INFSOF
2006
15 years 20 days ago
2006
Program slicing identifies parts of a program that potentially affect a chosen computation. It has many applications in software engineering, including maintenance, evolution and ...