2741 search results - page 483 / 549 » Engineering Mathematical Knowledge |
103
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
140
Voted
ECWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
122
click to vote
EWCBR
2004
Springer
15 years 7 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
101
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
106
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...