1445 search results - page 148 / 289 » Properties of state spaces and their applications |
187
Voted
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
The rapid growth of the Web has made it possible to build collaborative applications on an unprecedented scale. However, the request-reply interaction model of HTTP limits the rang...
160
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
263
click to vote
AAAI
2008
15 years 8 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
222
click to vote
JIRS
1998
15 years 6 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
194
click to vote
VIS
2008
IEEE
16 years 8 months ago
2008
IEEE
Data sets resulting from physical simulations typically contain a multitude of physical variables. It is, therefore, desirable that visualization methods take into account the enti...