Sciweavers

1805 search results - page 173 / 361
» A Theory of Closure Operators
Sort
View
ECSA
2007
Springer
16 years 23 days ago
The Art and Science of Software Architecture
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...
Alan W. Brown, John A. McDermid
STACS
2007
Springer
16 years 21 days ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung
SAC
2006
ACM
16 years 16 days ago
Grouping and aggregation in the concept-oriented data model
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
Alexandr A. Savinov
HICSS
2005
IEEE
191views Biometrics» more  HICSS 2005»
16 years 6 days ago
Knowledge Management and the Design of Distributed Cognition Systems
The society in which we live today is increasingly a knowledge society. Organizations are turning more and more to knowledge creation and management for the development of their c...
Sandra M. Richardson
ICRA
2005
IEEE
194views Robotics» more  ICRA 2005»
16 years 5 days ago
Modeling of Haptic Sensing of Nanolithography with an Atomic Force Microscope
- This paper describes a virtual reality interface between human and the Atomic Force Microscope (AFM), which allows the operator to perform nanomanipulation with an AFM tip in the...
Lo Ming Fok, Yun-Hui Liu, Wen J. Li