55 search results - page 3 / 11 » Coalgebraic Foundations of Linear Systems |
PODS
1998
ACM
13 years 10 months ago
1998
ACM
An extended abstract of this paper appeared in Proceedings of the 15th ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems [1]. 2 E-mail: pankaÄcs.duke.edu; httpÂ...
SACMAT
2009
ACM
14 years 4 days ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
VLDB
2006
ACM
14 years 5 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
ENTCS
2000
13 years 5 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
AUTOMATICA
2002
13 years 5 months ago
2002
The predictive pole-placement control method introduced in this paper embeds the classical pole-placement state feedback design into a quadratic optimisation based model-predictiv...