5606 search results - page 256 / 1122 » Advances in Information Science |
137
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
140
click to vote
JCDL
2006
ACM
16 years 1 months ago
2006
ACM
The Virginia Tech Department of Computer Science (VT CS) and the University of North Carolina at Chapel Hill School of Information and Library Science (UNC SILS) have launched a c...
153
click to vote
GI
2003
Springer
16 years 15 days ago
2003
Springer
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
181
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
167
click to vote
HOA
1993
15 years 11 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...