605 search results - page 2 / 121 » A strategy for efficiently verifying requirements |
DALT
2008
Springer
13 years 6 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
REFSQ
2009
Springer
13 years 11 months ago
2009
Springer
[Context and motivation] In market-driven product development of software intensive products large numbers of requirements threaten to overload the development organization. It is ...
ACSAC
2009
IEEE
13 years 9 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
ICIP
2000
IEEE
13 years 9 months ago
2000
IEEE
A novel method is proposed to achieve efficient MPEG-2 video editing in compressed domain while preserving Video Buffer Verifier (VBV) requirements. Different cases are determined...
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...