2196 search results - page 74 / 440 » Practical Reasoning Using Values |
107
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
ICAIL
2007
ACM
15 years 1 months ago
2007
ACM
Documentation is essential to daily legal practice. On-line access is current practice. The conditions imposed by an information service provider with respect to access and use of...
105
click to vote
PPSWR
2005
Springer
15 years 5 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
CHI
2007
ACM
16 years 8 days ago
2007
ACM
This paper presents the perspective that sustainability can and should be a central focus of interaction design--a perspective that is termed Sustainable Interaction Design (SID)....