490 search results - page 54 / 98 » A Framework for Developing Local E-government |
ULPAA
1994
13 years 9 months ago
1994
Next generation communication systems must support diverse applications operating over high-performance local, metropolitan, and wide area networks. This paper describes a framewo...
CONCURRENCY
2010
13 years 7 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
PVLDB
2010
13 years 6 months ago
2010
Shortest path computation is one of the most common queries in location-based services that involve transportation networks. Motivated by scalability challenges faced in the mobil...
EMNLP
2009
13 years 5 months ago
2009
This paper presents preliminary results on the detection of cultural differences from people's experiences in various countries from two perspectives: tourists and locals. Ou...