2520 search results - page 154 / 504 » Model-checking behavioral programs |
160
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
165
click to vote
INTERACT
2003
15 years 6 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
135
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Context-aware applications are applications that implicitly take their context of use into account by adapting to changes in a user's activities and environments. No one has ...
116
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Storytelling is an innate human characteristic. Stories are used to manage meaning, control behavior, and facilitate identification and bonding [9]. The theory of identification a...
137
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...