2741 search results - page 445 / 549 » Designing Law-Compliant Software Requirements |
151
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
164
click to vote
CISC
2005
Springer
15 years 12 months ago
2005
Springer
RC4 was designed in 1987 when 8-bit and 16-bit processors were commercially available. Today, most processors use 32-bit or 64bit words but using original RC4 with 32/64 bits is in...
160
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...
167
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
160
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...