Sciweavers

161 search results - page 3 / 33
» The Behavior Grid: 35 ways behavior can change
Sort
View
NDSS
2005
IEEE
14 years 2 months ago
One-Way Isolation: An Effective Approach for Realizing Safe Execution Environments
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
Weiqing Sun, Zhenkai Liang, V. N. Venkatakrishnan,...
VL
1996
IEEE
105views Visual Languages» more  VL 1996»
14 years 22 days ago
Composing Complex Behavior from Simple Visual Descriptions
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
Roland Hübscher
IJFCS
2006
119views more  IJFCS 2006»
13 years 8 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
ECOOP
2006
Springer
14 years 7 days ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
ICWSM
2010
13 years 10 months ago
StepGreen.org: Increasing Energy Saving Behaviors via Social Networks
Decades of research have explored factors that can influence green behavior. However, much less is known about the ways in which technology in general, and social technologies in ...
Jennifer Mankoff, Susan R. Fussell, Tawanna Dillah...