2282 search results - page 79 / 457 » Active property checking |
132
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
High contention of flows is associated with unstable network behavior and unmanageable resource administration, i.e., convergence to equilibrium becomes a difficult task. In this ...
127
click to vote
ECSCW
2001
15 years 5 months ago
2001
Distributed cognition as an approach to collaborative work holds that a work unit is cognitive system in which cognitive activities are carried out jointly by workers with the use ...
177
click to vote
ECRA
2007
15 years 4 months ago
2007
Recommendation systems have been studied actively since the 1990s. Generally, recommendation systems choose one or more candidates from a set of candidates through a filtering pro...
123
click to vote
IWINAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
125
Voted
DEDS
2002
15 years 3 months ago
2002
We address the following sensor selection problem. We assume that a dynamic system possesses a certain property, call it Property D, when a set G of sensors is used. There is a cos...