4008 search results - page 439 / 802 » An expressive language of signatures |
241
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
199
click to vote
ENTCS
2008
15 years 6 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
177
click to vote
IJVR
2007
15 years 6 months ago
2007
—In this paper we report about the use of computer generated affect to control body and mind of cognitively modeled virtual characters. We use the computational model of affect A...
178
click to vote
IAJIT
2010
15 years 5 months ago
2010
: In this paper we propose a novel approach for searching eCommerce products using a mobile phone, illustrated by a prototype eCoMobile. This approach aims to globalize the mobile ...
201
click to vote
IJAOSE
2010
15 years 5 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...