12981 search results - page 262 / 2597 » Model Checking and Abstraction |
132
click to vote
CORR
2010
Springer
15 years 6 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...
169
click to vote
ACCV
2010
Springer
15 years 1 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...
157
click to vote
ACRI
2006
Springer
16 years 20 days 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...
143
Voted
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract Communication and Interconnect Modeling for MPSoCand Interconn...
194
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...