1965 search results - page 388 / 393 » On the analysis of interacting pushdown systems |
DOCENG
2004
ACM
14 years 27 days ago
2004
ACM
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
ER
2004
Springer
14 years 26 days ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
ATAL
2003
Springer
14 years 21 days ago
2003
Springer
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...
CLUSTER
2000
IEEE
13 years 12 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
ITS
1998
Springer
13 years 11 months ago
1998
Springer
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...