2520 search results - page 169 / 504 » Model-checking behavioral programs |
151
click to vote
INFSOF
1998
15 years 6 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
188
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system...
172
click to vote
WSC
2008
15 years 8 months ago
2008
Discrete-event dynamic systems with feedback, where the behavior of the system depends on the system state, are difficult to model due to the uncertainties and dependencies of sys...
165
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
141
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...