10907 search results - page 1864 / 2182 » Constraint Based Strategies |
163
click to vote
SAC
2010
ACM
16 years 1 days ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...
157
click to vote
ACSD
2003
IEEE
16 years 20 hour ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
142
click to vote
AGILEDC
2003
IEEE
16 years 20 hour ago
2003
IEEE
This paper documents a successful implementation of agile at a major telecommunications firm. Critical aspects to mention about this particular software endeavor include a) this c...
168
click to vote
CODES
2003
IEEE
16 years 17 hour ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
170
click to vote
COMPSAC
2003
IEEE
16 years 17 hour ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...