227 search results - page 36 / 46 » Quantitative verification: models techniques and tools |
137
click to vote
SBIA
2000
Springer
15 years 5 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
121
Voted
CRIWG
2004
15 years 3 months ago
2004
Collaborative distance learning involves a variety of elements and factors that have to be considered and measured in order to analyse and assess group and individual performance m...
144
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
122
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
105
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...