Sciweavers

5054 search results - page 324 / 1011
» How designers design and program interactive behaviors
Sort
View
AAAI
2007
15 years 9 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
180
Voted
ASPLOS
2010
ACM
16 years 2 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
199
Voted
CHI
2009
ACM
16 years 8 months ago
HCI for the real world
HCI as a field comfortably and unquestionably links itself with the corporate world. What does this mean in terms of an ethics of problem choice, meaning the considerations that i...
Nicholas Knouf
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
15 years 2 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002
MOBISYS
2006
ACM
16 years 7 months ago
Pegboard: a framework for developing mobile applications
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Danny Soroker, Ramón Cáceres, Danny ...