3106 search results - page 411 / 622 » Both Generic Design and Different Forms of Designing |
180
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
260
click to vote
OSN
2011
14 years 9 months ago
2011
—This paper presents PI-OPS (Parallel-Iterative Optical Packet Scheduler) a parallel-iterative scheduler for asynchronous Optical Packet Switching nodes with optical buffering. O...
200
click to vote
IACR
2011
14 years 6 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
185
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
In spite of decades of research on virtual worlds, our understanding of one popular form of virtual world behavior— raiding—remains limited. Raiding is important because it en...
276
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...