Sciweavers

6834 search results - page 944 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
COMSWARE
2006
IEEE
15 years 10 months ago
A measurement study of the Linux TCP/IP stack performance and scalability on SMP systems
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
Shourya P. Bhattacharya, Varsha Apte
ECAI
2006
Springer
15 years 10 months ago
An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James B...
EUROMICRO
2006
IEEE
15 years 10 months ago
Building Reconfigurable Component-Based OS with THINK
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernar...
ACSAC
2001
IEEE
15 years 10 months ago
A JCA-Based Implementation Framework for Threshold Cryptography
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
Yih Huang, David Rine, Xunhua Wang
AINA
2003
IEEE
15 years 10 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu