2673 search results - page 338 / 535 » Guided Static Analysis |
142
click to vote
SOQUA
2007
15 years 6 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
161
click to vote
GISCIENCE
2010
Springer
15 years 6 months ago
2010
Springer
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
140
Voted
TOG
2008
15 years 4 months ago
2008
Our goal is to simulate the full hair geometry, consisting of approximately one hundred thousand hairs on a typical human head. This will require scalable methods that can simulat...
181
click to vote
ANOR
2004
15 years 4 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
142
click to vote
EOR
2002
15 years 4 months ago
2002
Capacity choice or expansion, whether organic or via mergers and acquisitions, creates firms of widely varying scales. The ex-post profitability of such a transformed firm relativ...