2205 search results - page 246 / 441 » Mutation Operators for Specifications |
203
click to vote
TELE
2011
14 years 11 months ago
2011
This paper examines the broadband connectivity options available in digital cities. It offers an overview of services provided by commercial operators, the public sector and by ci...
149
click to vote
JOT
2010
14 years 11 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
135
click to vote
TWC
2010
14 years 10 months ago
2010
A contemporary perspective on transmit antenna diversity and spatial multiplexing is provided. It is argued that, in the context of most modern wireless systems and for the operati...
219
click to vote
HPDC
2011
IEEE
14 years 7 months ago
2011
IEEE
Cloud computing systems are becoming an important platform for science applications. Infrastructure as a Service (IaaS) clouds provide the capability to provision virtual machines...
167
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—Shortest distance query between two nodes is a fundamental operation in large-scale networks. Most existing methods in the literature take a landmark embedding approach, which s...