Sciweavers

1573 search results - page 97 / 315
» Signs and Formal Concepts
Sort
View
DBSEC
2010
113views Database» more  DBSEC 2010»
13 years 10 months ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese
CLEIEJ
2004
106views more  CLEIEJ 2004»
13 years 10 months ago
A Calculus for Reconfigurable Component-Based Systems
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
Cidcley Teixeira de Souza, Paulo Roberto Freire Cu...
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 8 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
CSMR
2007
IEEE
14 years 4 months ago
The Reality of Libraries
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
Daniel Ratiu, Jan Jürjens
ACSC
2007
IEEE
14 years 4 months ago
Periodical Payment Model Using Restricted Proxy Certificates
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
Grigori Goldman