1528 search results - page 187 / 306 » Performance Assertion Checking |
ANLP
1997
15 years 3 months ago
1997
We describe the authoring tool, EasyEnglish, which is part of IBM's internal SGML editing environment, Information Development Workbench. EasyEnglish helps writers produce cl...
100
Voted
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
123
Voted
GISCIENCE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Closed, watertight, 3D geometries are represented by polyhedra. Current data models define these polyhedra basically as a set of polygons, leaving the test on intersectin...
120
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we examine one of the security issues in vehicular ad-hoc network (VANETs): position-spoofing attack. We propose a novel Secure Location Verification (SLV) scheme to...
140
Voted
AUTOMATICA
2007
15 years 2 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...