571 search results - page 34 / 115 » A principled approach to operating system construction in Ha... |
112
click to vote
SAFECOMP
1999
Springer
15 years 5 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
121
click to vote
GIS
2003
ACM
15 years 6 months ago
2003
ACM
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...
116
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
122
click to vote
AIS
1999
Springer
15 years 28 days ago
1999
Springer
: How are social relations appearing in computers? How are social relations realised in a different kind of medium, in the hardware and software of computers? How are the organisin...
212
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...