4615 search results - page 817 / 923 » Virtual Classes and Their Implementation |
159
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
164
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
185
click to vote
CISC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
241
click to vote
DLS
2009
15 years 3 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
161
click to vote
HCI
2009
15 years 3 months ago
2009
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...