3529 search results - page 650 / 706 » A Model for Interaction of Agents and Environments |
187
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
169
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
186
click to vote
APSCC
2008
IEEE
16 years 19 days ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
173
click to vote
FMCO
2007
Springer
16 years 10 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
144
click to vote
ICAT
2006
IEEE
16 years 6 days ago
2006
IEEE
Providing haptic cues can generate increased levels of presence in users as they interact with tangible objects. In this paper, we present button effects delivered by air-jet displ...