Search Sciweavers | Sciweavers

1894 search results - page 7 / 379

» Towards Mobile Reasoning

click to vote

IADIS
2004

140views Internet Technology» more IADIS 2004»

Towards interoperability of wireless services - a description model of service interfaces

14 years 10 months ago

Download www.iadis.net

Web services are evolving quickly in terms of standardization. Technology and wireless networks exact requirements upon web services used via wireless connections, such as mobile ...

Anne Immonen, Jarkko Holappa, Päivi Kallio, J...

claim paper

Read More »

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

14 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

click to vote

COMCOM
2006

77views more COMCOM 2006»

SIP as a unified signalling solution in a beyond 3G system

14 years 9 months ago

Download www.eurasip.org

The adoption of packet-switched technologies in mobile communication systems has enabled the provision of IPbased services to mobile users. Yet, these systems, such as the UMTS net...

Vaggelis Nikas, Georgios V. Lioudakis, Nikolaos L....

claim paper

Read More »

click to vote

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

15 years 1 months ago

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »