Sciweavers

7720 search results - page 114 / 1544
» A Model for Interface Groups
Sort
View
SERP
2004
15 years 5 months ago
A Three Level Framework for Process Support: The MOWAHS Approach
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
Alf Inge Wang, Carl-Fredrik Sørensen, Reida...
TNC
2004
132views Education» more  TNC 2004»
15 years 5 months ago
Distributed Encoding Environment based on Grids and IBP Infrastructure
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
Petr Holub, Lukás Hejtmánek
VLDB
1998
ACM
120views Database» more  VLDB 1998»
15 years 8 months ago
KODA - The Architecture And Interface of a Data Model Independent Kernel
In this paper we describe the architecture and interface of KODA, a production strength database kernel. KODA is unique in the industry in its ability to support two different dat...
Gopalan Arun, Ashok Joshi
CAV
2010
Springer
158views Hardware» more  CAV 2010»
15 years 8 months ago
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
CAINE
2007
15 years 5 months ago
Interactive Thin Shells - A Model Interface for the Analysis of Physically-based Animation
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
James Skorupski, Zoë J. Wood, Alex Pang