Sciweavers

7075 search results - page 1173 / 1415
» Models and heterogeneous reasoning
Sort
View
AGENTS
2000
Springer
15 years 11 months ago
Scalability of a Transactional Infrastructure for Multi-Agent Systems
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
Khaled Nagi
CGI
1999
IEEE
15 years 11 months ago
A Shape-Preserving Data Embedding Algorithm for NURBS Curves and Surfaces
Existing data embedding algorithms for polygonal meshes and their attributes can't be applied to the majority of (geometric) computer aided design (CAD) applications, for two...
Ryutarou Ohbuchi, Hiroshi Masuda, Masaki Aono
EUROCRYPT
1999
Springer
15 years 11 months ago
A Note on the Limits of Collusion-Resistant Watermarks
In one proposed use of digital watermarks, the owner of a document D sells slightly different documents, D1 , D2 , . . . to each buyer; if a buyer posts his/her document Di to the...
Funda Ergün, Joe Kilian, Ravi Kumar
IPPS
1998
IEEE
15 years 11 months ago
Multiparadigm, Multilingual Interoperability: Experience with Converse
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
Laxmikant V. Kalé, Milind A. Bhandarkar, Ro...
KBSE
1998
IEEE
15 years 11 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
« Prev « First page 1173 / 1415 Last » Next »