647 search results - page 26 / 130 » Collage, composites, construction |
ASIACRYPT
2003
Springer
15 years 2 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
DEDS
2007
14 years 9 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...