5054 search results - page 349 / 1011 » How designers design and program interactive behaviors |
209
click to vote
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
227
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
197
click to vote
CLIMA
2004
15 years 9 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
181
click to vote
CSSE
2008
IEEE
16 years 2 months ago
2008
IEEE
Multicore has shown its merits of high performance and low power consumption compared with traditional single cores. It also puts a challenge to the universities in how to teach a...
175
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...