3424 search results - page 620 / 685 » Building Diverse Computer Systems |
124
Voted
FAC
2006
15 years 2 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
112
click to vote
AMAI
2000
Springer
15 years 2 months ago
2000
Springer
An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical--i.e., modular and open-a...
138
Voted
C5
2004
IEEE
15 years 6 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
146
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
141
click to vote
AFP
2004
Springer
15 years 7 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...