4299 search results - page 745 / 860 » Concurrent Test Generation |
114
click to vote
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
124
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
218
click to vote
PVLDB
2010
15 years 1 months ago
2010
As the amount of user generated content grows, personal information management has become a challenging problem. Several information management approaches, such as desktop search,...
119
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
167
click to vote
TCOM
2010
15 years 1 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...