2139 search results - page 90 / 428 » Connecting language to the world |
155
click to vote
PST
2008
15 years 7 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
162
click to vote
INFSOF
1998
15 years 6 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
152
click to vote
ACII
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
160
click to vote
AIIDE
2008
15 years 8 months ago
2008
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
152
click to vote
CSL
2009
Springer
16 years 28 days ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...