3999 search results - page 131 / 800 » Design of Optical Access Systems using Computer Modeling |
159
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
133
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
151
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
151
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
212
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...