Sciweavers

4894 search results - page 33 / 979
» Dynamic Abstraction Planning
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 5 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»
16 years 2 hour 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
14 years 5 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»
16 years 6 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»
16 years 6 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