Sciweavers

5423 search results - page 246 / 1085
» Denial-of-service in automation systems
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 10 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
WSC
2008
15 years 9 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar
LREC
2008
91views Education» more  LREC 2008»
15 years 8 months ago
Statistical Evaluation of Information Distillation Systems
We describe a methodology for evaluating the statistical performance of information distillation systems and apply it to a simple illustrative example. (An information distiller p...
J. V. White, D. Hunter, J. D. Goldstein
AAAI
2006
15 years 8 months ago
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services)
TPBOSCourier is the Transportation Procurement and Bid Optimization System (TPBOS) for Philips Electronics to automate and optimize its procurement of courier services. It was joi...
Andrew Lim, Zhou Xu, Brenda Cheang, Wee-Kit Ho, St...
ECIS
2003
15 years 8 months ago
Application of the theory of organized activity to the coordination of social information systems
Co-ordination is seen as a fundamental aspect of organisational activity where computers can help. This is motivated by the need to reconcile the conflicts that arise from the div...
José A. Moinhos Cordeiro, Joaquim Filipe