Sciweavers

11374 search results - page 144 / 2275
» A System Demonstration of ST-TCP
Sort
View
VTC
2007
IEEE
16 years 21 days ago
Context-Based Communications Dimensioning for Safety Applications in Wireless Vehicular Systems
—The use of wireless vehicular communication systems for traffic safety applications imposes a careful and adequate communications dimensioning to ensure the transmission of broa...
Miguel Sepulcre, Javier Gozálvez
FMICS
2007
Springer
16 years 18 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
SEKE
2007
Springer
16 years 16 days ago
Real-Time Trust Management in Agent Based Online Auction Systems
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
Rinkesh Patel, Haiping Xu, Ankit Goel
ITNG
2006
IEEE
16 years 13 days ago
Evaluating Parallel Computing Systems in Bioinformatics
The utilization of parallel processing in bioinformatics is a relatively new development, and wide spread use of parallel processing in this domain has been limited by the availab...
Erik S. Gough, Michael D. Kane
DSN
2005
IEEE
16 years 1 days ago
A Framework for Node-Level Fault Tolerance in Distributed Real-Time Systems
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...
Joakim Aidemark, Peter Folkesson, Johan Karlsson