8644 search results - page 397 / 1729 » On the Composition of Secure Systems |
190
click to vote
FOSSACS
2011
Springer
14 years 11 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
239
click to vote
CODES
2005
IEEE
16 years 1 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
181
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Adaptive learning systems are recognized as one of the most interesting research topics in intelligent learning management systems. Taking as a point of departure the practices an...
192
click to vote
MRCO
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
189
click to vote
IPPS
2003
IEEE
16 years 26 days ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...