409 search results - page 38 / 82 » A Graphically Based Language for Constructing, Executing and... |
EUROSYS
2009
ACM
14 years 5 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
APSEC
1996
IEEE
14 years 26 days ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Constructing a program from a speciļ¬cation is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
WER
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...