2004 search results - page 190 / 401 » Interaction nets: programming language design and implementa... |
169
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
177
click to vote
MKWI
2008
15 years 8 months ago
2008
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....
157
click to vote
VSTTE
2005
Springer
16 years 3 hour ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
172
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
192
click to vote
AAAI
2006
15 years 8 months ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...