12981 search results - page 262 / 2597 » Model Checking (Abstract) |
93
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
dtable: An Abstract Model of Conversation Dynamics Journal of Artificial Societies and Social Simulation 13 (4) 2 <http://jasss.soc.surrey.ac.uk/13/4/2.html> Received: 09-Dec...
114
click to vote
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
115
Voted
ACRI
2006
Springer
15 years 9 months ago
2006
Springer
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
101
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract Communication and Interconnect Modeling for MPSoCand Interconn...
101
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM