5904 search results - page 963 / 1181 » Requirements for a Composition Language |
125
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
160
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
133
click to vote
ALT
2005
Springer
16 years 12 days ago
2005
Springer
Within learning theory teaching has been studied in various ways. In a common variant the teacher has to teach all learners that are restricted to output only consistent hypotheses...
137
Voted
ICCD
2003
IEEE
16 years 11 days ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
102
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...