752 search results - page 125 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
We examine the drivers of Internet firm survival using a multi-method survival analysis. Based on previous literature on business failure and recent IS research on e-commerce busi...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
ICIAR
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes a general framework for the detection and tracking of traffic and road signs from image sequences using only color information. The approach consists of two in...
PDP
2003
IEEE
14 years 1 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...