4350 search results - page 211 / 870 » Case studies for contract-based systems |
128
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...
146
Voted
ISCC
2002
IEEE
15 years 9 months ago
2002
IEEE
We present an adaptive system for training and teaching. Our system integrates an adaptive training environment and a cooperative environment for exams both accessible via Interne...
183
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
186
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
169
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...