6014 search results - page 956 / 1203 » Structural Testing with Use Cases |
154
Voted
STTT
2010
15 years 3 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
169
click to vote
TWC
2010
14 years 11 months ago
2010
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...
149
Voted
STOC
2009
ACM
16 years 5 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
135
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In transportation network research, the main approach for predicting traffic distribution due to noncooperative vehicle choices has been through fluid type models. The...
156
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...