Sciweavers

4438 search results - page 508 / 888
» The Case for Collaborative Programming
Sort
View
160
Voted
IFIP
2004
Springer
16 years 5 days ago
Dependability and its threats - A taxonomy
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...
Algirdas Avizienis, Jean-Claude Laprie, Brian Rand...
IFIP
2004
Springer
16 years 5 days ago
The Problematic of Distributed Systems Supervision - An Example: Genesys
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
Jean-Eric Bohdanowicz, Stefan Wesner, Lászl...
187
Voted
CLUSTER
2003
IEEE
16 years 3 days ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
IAW
2003
IEEE
16 years 2 days ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
171
Voted
ICC
2000
IEEE
105views Communications» more  ICC 2000»
15 years 11 months ago
FDMA Capacity of the Gaussian Multiple Access Channel With ISI
— This paper proposes a numerical method for characterizing the achievable rate region for a Gaussian multiple access channel with ISI under the frequency division multiple acces...
Wei Yu, John M. Cioffi