Sciweavers

2446 search results - page 49 / 490
» Principles of dataspace systems
Sort
View
97
Voted
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
15 years 8 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»
15 years 9 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
92
Voted
WSC
2007
15 years 5 months 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
117
Voted
CAGD
1999
198views more  CAGD 1999»
15 years 2 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
88
Voted
ECIS
2001
15 years 4 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