4460 search results - page 153 / 892 » Formal methods for interactive systems |
273
click to vote
AMCS
2011
14 years 11 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
220
click to vote
AAAI
2007
15 years 6 months ago
2007
Journal-Ranking.com is perhaps the first online journal ranking system in the world which allows any individual to conduct citation analyses among more than 7000 academic journals...
155
click to vote
MVA
2007
15 years 5 months ago
2007
This paper presents a method for markerless human motion capture using a single camera. It uses tree-based filtering to efficiently propagate a probability distribution over pos...
157
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
213
Voted
FIW
2009
15 years 1 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...