Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed contracts » programme contract, programming contracts, programme abstracts
equation processing » equation proceedings, question processing, equations proceedings
emotion processing » protein processing, motion processes, production processing
https » http
programmed contracts » programme contract, programming contracts, programme abstracts
equation processing » equation proceedings, question processing, equations proceedings
emotion processing » protein processing, motion processes, production processing
https » http
1
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Emotional Expression in Virtual Agents Through Body Language -- Visual Tracking for Seamless 3D Interactions...”View full text
Electronic
eBook
6
Published 2011
Table of Contents:
“...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...”View full text
Electronic
eBook