6800 search results - page 722 / 1360 » Testing with Functions as Specifications |
200
click to vote
IJDSN
2008
15 years 6 months ago
2008
This article proposes a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a...
220
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
196
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
The concept of having an integrated circuit (IC) generate its own unique digital signature has broad application in areas such as embedded systems security, and IP/IC counterpiracy...
187
click to vote
FOCS
2010
IEEE
15 years 5 months ago
2010
IEEE
We give the first black-box reduction from arbitrary approximation algorithms to truthful approximation mechanisms for a non-trivial class of multiparameter problems. Specifically,...
167
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
When composing mashups, the selection of suitable services is mainly based on functional requirements and does not consider the quality of the single services. In this paper, we sh...