Sciweavers

2446 search results - page 49 / 490
» Principles of dataspace systems
Sort
View
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
14 years 3 months ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka
CALCO
2007
Springer
110views Mathematics» more  CALCO 2007»
14 years 4 months ago
Logical Semantics of Types for Concurrency
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
Luís Caires
WSC
2007
14 years 18 days ago
Using multi-criteria modeling and simulation to achieve lean goals
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
Gerald W. Evans, Suraj M. Alexander
CAGD
1999
198views more  CAGD 1999»
13 years 10 months ago
Discrete Coons patches
We investigate surfaces which interpolate given boundary curves. We show that the discrete bilinearly blended Coons patch can be defined as the solution of a linear system. With t...
Gerald E. Farin, Dianne Hansford
ECIS
2001
13 years 11 months ago
An Object Oriented Architecture Model for International Information Systems? Exploring a Possible Approach
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology
Hans P. Lehmann