1162 search results - page 141 / 233 » Specifying Reusable Components |
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
HUC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Many location-aware applications rely on data from fine-grained location systems. During deployment such systems require a survey, specifying the locations of their envi...
AMAST
2000
Springer
15 years 2 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The phenomenal growth that the WWW currently experiences necessitates the integration of various types of information sources to its platform. We present an open, extensible multi...