27 search results - page 4 / 6 » Integrating the Specification Techniques of Graph Transforma... |
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
EDBT
2006
ACM
14 years 5 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
JCB
2006
13 years 5 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...