3224 search results - page 511 / 645 » On Checking Model Checkers |
109
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
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...
130
click to vote
EPEW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
116
click to vote
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...