1788 search results - page 126 / 358 » Model Theory for Process Algebra |
STACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
81
Voted
CGF
2000
15 years 19 days ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
98
Voted
ECRTS
2003
IEEE
15 years 6 months ago
2003
IEEE
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
113
Voted
ML
2006
ACM
15 years 23 days ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
AAAI
1998
15 years 2 months ago
1998
This paper proposes an emotion model for life-like agents with emotions and motivations. This model consists of reactive and deliberative mechanisms. The former generates low-leve...