4434 search results - page 866 / 887 » On the Composition of Hybrid Systems |
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
153
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
152
click to vote
DOCENG
2008
ACM
15 years 7 months ago
2008
ACM
"There will always (I hope) be print books, but just as the advent of photography changed the role of painting or film changed the role of theater in our culture, electronic ...
178
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
188
click to vote
AGI
2008
15 years 7 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...