172 search results - page 11 / 35 » Design formalism for collaborative assembly design |
STEP
2003
IEEE
14 years 1 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
INTERACT
2003
13 years 9 months ago
2003
: Technology to support groups is rapidly growing in use and in its impact on us, our organizations, and society. Some very important trends are only now being identified, as use o...
KER
2006
13 years 7 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
TGC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...