2850 search results - page 15 / 570 » On Timed Models and Full Abstraction |
100
click to vote
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Feedback Control for Character Animation Using an Abstract Model Yuting Ye C. Karen Liu Georgia Institute of Technology∗ Real-time adaptation of a motion capture sequence to vir...
98
Voted
FORTE
2010
15 years 2 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
CIE
2005
Springer
15 years 6 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
90
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...