1541 search results - page 164 / 309 » Tools and Techniques for Model Checking Networked Programs |
105
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
135
click to vote
TEC
2008
15 years 4 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...
133
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
158
Voted
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...
117
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...