2335 search results - page 402 / 467 » Type Checking Type Classes |
TCOM
2010
13 years 3 months ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
TCS
2010
13 years 3 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
TLSDKCS
2010
13 years 3 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
TOSEM
2010
13 years 3 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
Burst-type signals constitute an important class of transient signals, being used especially in the investigation of various physical environments by electric or acoustic means. A...