7529 search results - page 347 / 1506 » The Modula-3 Type System |
191
click to vote
ICFEM
1998
Springer
15 years 11 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
164
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
156
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
This paper discusses the types of communicative signals that frequently appear in simple bar charts and how we exploit them as evidence in our system for inferring the intended mes...
178
click to vote
TREC
2004
15 years 8 months ago
2004
This paper describes the participation of the School of Informatics, University of Wales, Bangor in the 2004 Text Retrieval Conference. We present additions and modications to the...
191
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
We present results of the INEX 2009 Interactive Track which focussed on how users behave in interactive search systems. Three types of working tasks based on a collection of book m...