2722 search results - page 215 / 545 » The Model Evolution Calculus |
149
Voted
IS
2006
15 years 3 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
132
Voted
JEC
2006
15 years 3 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
117
Voted
ENTCS
2002
15 years 3 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
138
Voted
WOTE
2010
15 years 1 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
144
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Consider a biped evolving in the sagittal plane. The unexpected rotation of the supporting foot can be avoided by controlling the zero moment point or ZMP. The objective of thi...