3022 search results - page 132 / 605 » Make Way for WayMaker |
95
Voted
BXML
2004
15 years 2 months ago
2004
Abstract. There exist different ways how to understand and use context information for RDF data. This paper summarizes these different ways and concentrates on the source informati...
123
Voted
FORTE
1997
15 years 2 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
137
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
82
Voted
SACRYPT
1999
Springer
15 years 5 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
With today's ever increasing demands on software, developers must produce software that can be changed without the risk of degrading the software architecture. Degraded softw...