2558 search results - page 305 / 512 » Model Composition Contracts |
148
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
145
click to vote
HCI
2007
15 years 6 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
142
click to vote
CCE
2008
15 years 5 months ago
2008
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
140
click to vote
FUIN
2006
15 years 4 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
127
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...