Sciweavers

713 search results - page 82 / 143
» Static and Dynamic Semantics of the Web
Sort
View
ECTEL
2006
Springer
15 years 1 months ago
Language Technology for eLearning
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
Paola Monachesi, Lothar Lemnitzer, Kiril Ivanov Si...
IJIEM
2007
78views more  IJIEM 2007»
14 years 9 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
JOLLI
2010
78views more  JOLLI 2010»
14 years 8 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
IAT
2007
IEEE
15 years 4 months ago
Towards Constraint-Based Composition with Incomplete Service Descriptions
We apply our work on Web service discovery with initially incomplete information to the problem of service composition. Rich semantic descriptions of Goals and Web services allow ...
Matthew Moran, Tomas Vitvar, Maciej Zaremba
CGO
2006
IEEE
15 years 4 months ago
BIRD: Binary Interpretation using Runtime Disassembly
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
Susanta Nanda, Wei Li, Lap-Chung Lam, Tzi-cker Chi...