5084 search results - page 834 / 1017 » Proving Possibility Properties |
161
click to vote
SCP
2010
15 years 4 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
165
click to vote
SETA
2010
Springer
15 years 4 months ago
2010
Springer
Protocol sequences are binary and periodic sequences used in multiple-access scheme for collision channel without feedback. Each user reads out the bits from the assigned protocol ...
212
click to vote
SQJ
2010
15 years 4 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
179
click to vote
TASLP
2010
15 years 4 months ago
2010
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
189
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...