Sciweavers

1580 search results - page 77 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
IV
2006
IEEE
113views Visualization» more  IV 2006»
16 years 10 days ago
Output Media Adapted Cartographic Visualisation
In modern cartography of the late twentieth century, the Internet offers an ideal platform for the communication via maps. The map graphics pose as an essential part of the graphi...
Alexandra Stadler, Mirjanka Lechthaler
POPL
2008
ACM
16 years 6 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
ICFP
2004
ACM
16 years 6 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
IEEECIT
2009
IEEE
16 years 29 days ago
Applying Collective Intelligence for Search Improvement on Thai Herbal Information
— Knowledge about herbal medicine can be contributed from experts in several cultures. With the conventional techniques, it is hard to find the way which the experts can build a ...
Verayuth Lertnattee, Sinthop Chomya, Thanaruk Thee...
WOWMOM
2009
ACM
157views Multimedia» more  WOWMOM 2009»
16 years 24 days ago
The CHIANTI architecture for robust mobile Internet access
The quality of Internet access for mobile users may suffer from highly variable communication characteristics (packet loss, delay, throughput) and from temporary disconnections. T...
Jörg Ott, Petri Ylikoski, Nils Seifert, Caleb...