2741 search results - page 354 / 549 » Designing Law-Compliant Software Requirements |
190
click to vote
JCDL
2006
ACM
16 years 21 days ago
2006
ACM
Digital library interoperability for both documents and metadata is a critical and complex issue. Although many relevant standards have been developed, and continue to evolve, in ...
182
click to vote
SCAM
2005
IEEE
16 years 9 days ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
167
click to vote
ADAEUROPE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
163
click to vote
SPIN
2005
Springer
16 years 6 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
163
click to vote
APSEC
2003
IEEE
16 years 1 days ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...