Sciweavers

3830 search results - page 60 / 766
» From Reference Model to Component Model
Sort
View
97
Voted
DAGSTUHL
2003
15 years 1 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
CGF
2004
93views more  CGF 2004»
15 years 9 days ago
Prototype Modeling from Sketched Silhouettes based on Convolution Surfaces
This paper presents a hybrid method for creating three-dimensional shapes by sketching silhouette curves. Given a silhouette curve, we approximate its medial axis as a set of line...
Chiew-Lan Tai, Hongxin Zhang, Jacky Chun-Kin Fong
82
Voted
IAT
2006
IEEE
15 years 6 months ago
Representing Context for Multiagent Trust Modeling
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
Martin Rehák, Milos Gregor, Michal Pechouce...
DBSEC
2001
129views Database» more  DBSEC 2001»
15 years 1 months ago
Secure Role-Based Workflow Models
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
Savith Kandala, Ravi S. Sandhu
93
Voted
FMCO
2004
Springer
15 years 4 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa