5227 search results - page 794 / 1046 » Constructing New Media |
194
click to vote
WDAG
2005
Springer
16 years 23 days ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...
218
click to vote
WER
2005
Springer
16 years 23 days 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...
188
click to vote
ISSTA
2004
ACM
16 years 21 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...
235
click to vote
MIR
2004
ACM
16 years 21 days ago
2004
ACM
This paper proposes a new approach and algorithm for the similarity measure of video clips. The similarity is mainly based on two bipartite graph matching algorithms: maximum matc...
176
click to vote
SAC
2004
ACM
16 years 21 days ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...