7557 search results - page 1503 / 1512 » Modeling Timed Concurrent Systems |
100
click to vote
DELOS
2000
15 years 1 months ago
2000
User feedback has proven very successful to query large multimedia databases. Due to the nature of the data representation and the mismatch between mathematical models and human p...
116
click to vote
WALCOM
2007
IEEE
15 years 28 days ago
2007
IEEE
Due to the recent growth in the demand of mobile communication services in several typical environments, the development of efficient systems for providing specialized services ha...
CCGRID
2010
IEEE
15 years 26 days ago
2010
IEEE
Infrastructure-as-a-Service (IaaS) cloud computing offers new possibilities to scientific communities. One of the most significant is the ability to elastically provision and relin...
107
click to vote
AAAI
2010
14 years 12 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
106
click to vote
MOBICOM
2010
ACM
14 years 12 months ago
2010
ACM
Guardbands are designed to insulate transmissions on adjacent frequencies from mutual interference. As more devices in a given area are packed into orthogonal wireless channels, c...