5630 search results - page 188 / 1126 » Computability in Specification |
122
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
127
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
120
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
We describe ASTRX/OBLX, a synthesis system that can size high-performance analog circuit topologies to meet usersupplied linear performance specifications without designer-supplied...
BMVC
1998
15 years 6 months ago
1998
The ModelMaker [8] is a commercially available hand-held laser scanner mounted on an articulated arm. In this paper we present results from postprocessing of ModelMaker data and a...
127
click to vote
SMC
2010
IEEE
15 years 3 months ago
2010
IEEE
—While many cybersecurity tools are available to computer users, their default configurations often do not match needs of specific users. Since most modern users are not computer...