672 search results - page 75 / 135 » On the Expressive Power of the Loop Language |
153
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
150
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
164
click to vote
EPEW
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
172
click to vote
SEMWEB
2007
Springer
16 years 7 days ago
2007
Springer
Semantic Web databases allow efficient storage and access to RDF statements. Applications are able to use expressive query languages in order to retrieve relevant metadata to perfo...
133
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...