1445 search results - page 257 / 289 » Abstract Interpretation of Logic Programs |
ER
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...
SOCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
KSEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
ISVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...