Sciweavers

4894 search results - page 33 / 979
» Dynamic Abstraction Planning
Sort
View
58
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
14 years 10 months ago
The roundtable: an abstract model of conversation dynamics
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...
Massimo Mastrangeli, Martin Schmidt, Lucas Lacasa
FM
2009
Springer
118views Formal Methods» more  FM 2009»
15 years 4 months ago
Abstract Object Creation in Dynamic Logic
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
FDL
2011
IEEE
13 years 9 months ago
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
Fernando Herrera, Eugenio Villar, Philipp A. Hartm...
ICDE
2006
IEEE
127views Database» more  ICDE 2006»
15 years 11 months ago
Indexing for Dynamic Abstract Regions
for Dynamic Abstract Regions Joxan Jaffar Roland H.C. Yap School of Computing National University of Singapore 3 Science Drive 2, 117543, Singapore {joxan, ryap}@comp.nus.edu.sg Ke...
Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
15 years 10 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt