Sciweavers

4096 search results - page 401 / 820
» An Object Model for Interoperable Systems
Sort
View
HICSS
2003
IEEE
153views Biometrics» more  HICSS 2003»
16 years 18 hour ago
Balancing Safety Against Performance: Tradeoffs in Internet Security
All Internet-accessible computing systems are currently faced with incessant threats ranging from simple scriptkiddies to highly sophisticated criminal enterprises. In response to...
Vu A. Ha, David J. Musliner
ANOR
2004
208views more  ANOR 2004»
15 years 6 months ago
Airline Crew Rostering: Problem Types, Modeling, and Optimization
Airline crew rostering is an important part of airline operations and an interesting problem for the application of operations research. The objective is to assign anonymous crew p...
Niklas Kohl, Stefan E. Karisch
IJIG
2002
189views more  IJIG 2002»
15 years 6 months ago
Motion Detection from Time-Varied Background
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
Ying Ren, Chin-Seng Chua, Yeong-Khing Ho
JOT
2008
142views more  JOT 2008»
15 years 6 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
FASE
2008
Springer
15 years 8 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu