Sciweavers

11066 search results - page 1811 / 2214
» Linearity in Process Languages
Sort
View
156
Voted
DS
2001
118views Database» more  DS 2001»
15 years 8 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
IWUC
2004
15 years 8 months ago
Mobile Agent System for Web Services Integration in Pervasive Networks
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahar...
IJCAI
2001
15 years 8 months ago
Dealing with Dependencies between Content Planning and Surface Realisation in a Pipeline Generation Architecture
The majority of existing language generation systems have a pipeline architecture which offers efficient sequential execution of modules, but does not allow decisions about text c...
Kalina Bontcheva, Yorick Wilks
IJCAI
2001
15 years 8 months ago
Efficient Consequence Finding
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
Laurent Simon, Alvaro del Val
ECIS
2003
15 years 8 months ago
Towards a language/action theoretic approach to relationship analysis
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
Fahri Yetim, Michael P. Bieber
« Prev « First page 1811 / 2214 Last » Next »