2171 search results - page 230 / 435 » A Generic Process Algebra |
135
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
140
click to vote
EDBT
2006
ACM
15 years 7 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...
138
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
143
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Sensor localization typically exploits distance measurements to infer sensor positions with respect to known anchor nodes. Missing or unreliable measurements for specific nodes c...
165
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...