2021 search results - page 257 / 405 » COCO: Composition Model and Composition Model Implementation |
178
click to vote
EDBTW
2006
Springer
15 years 10 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...
167
click to vote
HCI
2007
15 years 7 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...
161
click to vote
CCE
2008
15 years 6 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...
150
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
176
click to vote
TOOLS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...