9231 search results - page 1635 / 1847 » informs 2008 |
153
Voted
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
152
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
131
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
147
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
An automated system for planning and optimization of lumber production using Machine Vision and Computed Tomography (CT) is proposed. Cross-sectional CT images of hardwood logs are...
152
click to vote
VR
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a new technique for managing visual clutter caused by overlapping labels in complex information displays. This technique, "label layering", utilizes stereosco...