1036 search results - page 40 / 208 » Report on INEX 2009 |
140
click to vote
ICAIL
2009
ACM
16 years 23 days ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...
143
click to vote
MSR
2009
ACM
16 years 23 days ago
2009
ACM
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...
168
click to vote
UIST
2009
ACM
16 years 23 days ago
2009
ACM
We present Collabio, a social tagging game within an online social network that encourages friends to tag one another. Collabio’s approach of incentivizing members of the social...
168
click to vote
NORDSEC
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
176
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...