Sciweavers

2958 search results - page 386 / 592
» Extending and Implementing RASP
Sort
View
99
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 6 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
TRIDENTCOM
2006
IEEE
15 years 6 months ago
A testbed demonstrating optical IP switching (OIS) in disaggregated network architectures
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
Marco Ruffini, Donal O'Mahony, Linda Doyle
WMTE
2006
IEEE
15 years 6 months ago
Handheld-Mediated Communication to Support the Effective Sharing of Meaning in Joint Activity
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
Kibum Kim, Deborah G. Tatar, Steve R. Harrison
99
Voted
ADBIS
2006
Springer
100views Database» more  ADBIS 2006»
15 years 6 months ago
Novel Analysis Patterns in the Context of the Managed Investments Instruments
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
Luigi Ubezio, Claudia Raibulet, Antonio Carpinato
ACMSE
2006
ACM
15 years 6 months ago
Performance evaluation of the reactor pattern using the OMNeT++ simulator
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
Arundhati Kogekar, Aniruddha S. Gokhale