3742 search results - page 53 / 749 » On the Use of Formal Techniques for Validation |
175
click to vote
ICFEM
2009
Springer
16 years 21 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
155
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
In the last five years, Deep Brain Stimulation (DBS) has become the most popular and effective surgical technique for the treatment of Parkinson's disease (PD). The Subthalami...
220
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
156
click to vote
IPPS
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
133
click to vote
DELTA
2006
IEEE
16 years 6 days ago
2006
IEEE
— Design, Verification and Test of integrated circuits with millions of gates put strong requirements on design time, test volume, test application time, test speed and diagnost...