Sciweavers

11565 search results - page 363 / 2313
» Computing Minimal Mappings
Sort
View
MIDDLEWARE
2004
Springer
16 years 6 days ago
Security requirements in service oriented architectures for ubiquitous computing
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
Domenico Cotroneo, Almerindo Graziano, Stefano Rus...
CIE
2007
Springer
15 years 10 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins
FECS
2007
184views Education» more  FECS 2007»
15 years 8 months ago
Collaboratory: An Open Source Teaching and Learning Facility for Computer Science and Engineering Education
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...
Jeff Wright, Stefano Carpin, Alberto Cerpa, German...
MOR
2010
108views more  MOR 2010»
15 years 5 months ago
Accuracy Certificates for Computational Problems with Convex Structure
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
Arkadi Nemirovski, Shmuel Onn, Uriel G. Rothblum
ICLP
2004
Springer
16 years 7 days ago
Non-viability Deductions in Arc-Consistency Computation
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
Camilo Rueda, Frank D. Valencia