774 search results - page 72 / 155 » Exploring Role Based Adaptation |
114
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
101
Voted
PSYCHNOLOGY
2008
15 years 2 months ago
2008
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
108
click to vote
AI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
114
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
117
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...