2741 search results - page 393 / 549 » Designing Law-Compliant Software Requirements |
189
Voted
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
174
Voted
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Several different techniques and softwares intend to improve the accuracy of results computed in a fixed finite precision. Here we focus on a method to improve the accuracy of ...
174
click to vote
ISSRE
2005
IEEE
16 years 19 days ago
2005
IEEE
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
176
Voted
ISSTA
2004
ACM
16 years 14 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
192
Voted
JCDL
2004
ACM
16 years 14 days ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...