5054 search results - page 851 / 1011 » How designers design and program interactive behaviors |
170
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
174
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
169
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
176
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
163
click to vote
EOR
2008
15 years 6 months ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...