3082 search results - page 542 / 617 » Deviation Analysis: A New Use of Model Checking |
CAD
2004
Springer
14 years 11 months ago
2004
Springer
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
111
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a new method for segmenting and recognizing Chinese handwritten address character strings. First, a dissection algorithm is applied to over-segment string imag...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
ICCSA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...