1541 search results - page 182 / 309 » Tools and Techniques for Model Checking Networked Programs |
137
click to vote
BCS
2008
15 years 6 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
198
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
129
click to vote
DGO
2008
15 years 6 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
169
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
137
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Topology preserving mappings are great tools for data visualization and inspection in large datasets. This research presents a combination of several topology preserving mapping mo...