2362 search results - page 210 / 473 » Programming in Standard ML |
111
click to vote
ERCIM
2008
15 years 4 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
132
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
119
click to vote
MMS
2002
15 years 4 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
116
click to vote
SIGCSE
1998
ACM
15 years 4 months ago
1998
ACM
This paper describes our use of a 1970's era PDP-11/10 to support an hour long module which we have incorporated into our computer organization course for the past few semest...