4350 search results - page 54 / 870 » Case studies for contract-based systems |
CASCON
2007
13 years 11 months ago
2007
Information obtained by merging data extracted from problem reporting systems – such as Bugzilla – and versioning systems – such as Concurrent Version System (CVS) – is wi...
SYNASC
2007
IEEE
14 years 4 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we show how using data mining algorithms can help discovering pedagogically relevant knowledge contained in databases obtained from Web-based educational systems. Th...
IV
2003
IEEE
14 years 3 months ago
2003
IEEE
A visualisation system that deals with two modalities of information – numerical and textual – is presented. The current application domain is that of prediction in financial ...
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...