3742 search results - page 335 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
GPCE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
157
click to vote
CHARME
2005
Springer
16 years 8 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
142
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
166
click to vote
GC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
190
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a novel hybrid algorithm, in which ideas from the genetic algorithm and the GRASP metaheuristic are cooperatively used and intertwined to dynamically adjus...