2902 search results - page 267 / 581 » Simple Local Models for Complex Dynamical Systems |
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
158
Voted
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
153
click to vote
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
109
click to vote
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
159
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...