8109 search results - page 386 / 1622 » A Model of Component-Based Programming |
180
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
We present a new and simple data-driven technique for modeling 3D brushes for use in realistic painting programs. Our technique simplifies and accelerates simulation of the const...
161
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
165
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
185
Voted
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
166
click to vote
IRMA
2000
15 years 8 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...