Sciweavers

106 search results - page 6 / 22
» Specification of Conditions for Error Diagnostics
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 11 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ECIS
2003
13 years 8 months ago
The adoption of information systems in SMEs: organizational issues and success factors
This research approaches the issues of introducing ICTs (Information and Communication Technologies) into Small and Medium Enterprises, with the aim of finding some conditions tha...
Angelo Caruso, Michela Marchiori
FTCS
1993
111views more  FTCS 1993»
13 years 8 months ago
Detection and Discrimination of Injected Network Faults
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...
Roy A. Maxion, Robert T. Olszewski
DSN
2007
IEEE
14 years 1 months ago
BlackJack: Hard Error Detection with Redundant Threads on SMT
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
Ethan Schuchman, T. N. Vijaykumar
JSAC
2008
118views more  JSAC 2008»
13 years 7 months ago
PEEC: a channel-adaptive feedback-based error
Reliable transmission is a challenging task over wireless LANs since wireless links are known to be susceptible to errors. Although the current IEEE802.11 standard ARQ error contro...
Sohraab Soltani, Hayder Radha