Sciweavers

1830 search results - page 242 / 366
» Centering in Dynamic Semantics
Sort
View
IJIEM
2007
78views more  IJIEM 2007»
14 years 11 months ago
Supporting the design of service contracts with interaction models
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Peter Rittgen
94
Voted
ANSOFT
2002
111views more  ANSOFT 2002»
14 years 11 months ago
Using UML Profiles for Documenting Web-Based Application Frameworks
Abstract. The Web now offers an exceptional infrastructure for the development of distributed collaborative services and applications. However, most of the existing applications on...
Lidia Fuentes, José M. Troya, Antonio Valle...
JOLLI
2010
78views more  JOLLI 2010»
14 years 10 months ago
On the Membership Problem for Non-Linear Abstract Categorial Grammars
embership problem for non-linear Abstract Categorial Grammars Sylvain Salvati Abstract In this paper we show that the membership problem for second order nonbstract Categorial Gram...
Sylvain Salvati
SIGDIAL
2010
14 years 9 months ago
Presupposition Accommodation as Exception Handling
Van der Sandt's algorithm for handling presupposition is based on a "presupposition as anaphora" paradigm and is expressed in the realm of Kamp's DRT. In recen...
Philippe de Groote, Ekaterina Lebedeva
88
Voted
EMSOFT
2004
Springer
15 years 5 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...