467 search results - page 47 / 94 » Open bisimulation for aspects |
RULEML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
SAPIR
2004
Springer
14 years 1 months ago
2004
Springer
End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended...
HICSS
2002
IEEE
14 years 19 days ago
2002
IEEE
The world-wide growth of the mobile-telephony market opens the door for mobile commerce (m-commerce). For the restricted target platforms used for m-commerce such as mobile phones...
OHS
2001
Springer
14 years 3 days ago
2001
Springer
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
EP
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In 1945, the Cairo Academy for the Arabic Language opened a contest to find the best project for simplification of the Arabic writing system. They received about 200 repl...