10890 search results - page 1915 / 2178 » Automatic Complexity Analysis |
217
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
165
click to vote
TEC
2008
15 years 6 months ago
2008
This paper describes a simulated annealing based multiobjective optimization algorithm that incorporates the concept of archive in order to provide a set of tradeoff solutions for ...
150
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
s Dirk Tremmel, Maximilian Tropschug N. crassa FKBP22 is part of a protein folding helper complex in the ER [oral presentation] Manuela Heiner A carbamate-cleaving catalytic antibo...
175
click to vote
TIP
2008
15 years 6 months ago
2008
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
140
click to vote
IWC
2007
15 years 6 months ago
2007
Compared to offline shopping, the online shopping experience may be viewed as lacking human warmth and sociability as it is more impersonal, anonymous, automated and generally dev...