873 search results - page 7 / 175 » E-voting: Dependability Requirements and Design for Dependab... |
109
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
105
click to vote
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...
LREC
2010
15 years 1 months ago
2010
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern processors rely on memory dependence prediction to execute load instructions as early as possible, speculating that they are not dependent on an earlier, unissued store. To...