850 search results - page 83 / 170 » Modeling synchronous systems in BIP |
GROUP
1999
ACM
15 years 5 months ago
1999
ACM
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
145
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
ACL
2007
15 years 3 months ago
2007
A number of Russian verbs lack 1sg nonpast forms. These paradigmatic gaps are puzzling because they seemingly contradict the highly productive nature of inflectional systems. We m...
107
click to vote
MTA
2000
15 years 1 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
163
click to vote
ACII
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...