496 search results - page 99 / 100 » Overview of WebCLEF 2008 |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
SCN
2008
Springer
13 years 4 months ago
2008
Springer
The Multimedia Broadcast Multicast Service (MBMS) has been included in the 3GGP architecture to provide broadcast/multicast services. In the 3GPP Long Term Evolution, the evolved M...
SIGCSE
2008
ACM
13 years 4 months ago
2008
ACM
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
INTEGRATION
2008
13 years 4 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...