222 search results - page 44 / 45 » Design and Development Tools for Next Generation Mobile Serv... |
IMC
2009
ACM
14 years 2 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
WWW
2010
ACM
13 years 11 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
EDOC
2002
IEEE
14 years 12 days ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...