809 search results - page 46 / 162 » Requirements by Contracts allow Automated System Testing |
142
click to vote
SCOPES
2004
Springer
15 years 10 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
166
click to vote
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
Mail channels allow an electronic mail (e-mail) user to have multiple points of contact, each with a potentially different policy. For example, a user may have two channels, one fo...
159
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
141
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
139
click to vote
SECON
2008
IEEE
15 years 11 months ago
2008
IEEE
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...