959 search results - page 127 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
FPLAY
2008
13 years 9 months ago
2008
Researching experiential phenomena is a challenging undertaking, given the sheer variety of experiences that are described by gamers and missing a formal taxonomy: flow, immersion...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
Web application hybrids, popularly known as mashups, are created by integrating services on the Web using their APIs. Support for finding an API is currently provided by generic s...
LREC
2008
13 years 9 months ago
2008
This paper describes a project aimed at converting a legacy representation of English idioms into an XML-based format. The project is set in the context of a large electronic Engl...
AAAI
2006
13 years 9 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
SDL
2001
13 years 9 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...