903 search results - page 173 / 181 » Completeness Results for Memory Logics |
172
click to vote
ASE
2002
15 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
158
click to vote
CORR
2004
Springer
2004
Springer
A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices
15 years 5 months ago
This paper presents the design and implementation of a Grid-enabled interactive analysis environment for handheld and other resource-limited computing devices. Handheld devices ar...
204
click to vote
PRL
2007
15 years 5 months ago
2007
: We propose a new feature selection strategy based on rough sets and Particle Swarm Optimization (PSO). Rough sets has been used as a feature selection method with much success, b...
183
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
157
click to vote
Publication
Efficient capturing of the entire topological and geometric information of a 3D scene is an important feature in many graphics applications for rendering multi-fragment effects. Ex...