3742 search results - page 476 / 749 » On the Use of Formal Techniques for Validation |
206
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
158
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
169
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
141
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
154
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...