2181 search results - page 242 / 437 » Standard Software as Microworld |
88
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
84
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
Stream ciphers are a promising technique for encryption in trusted hardware. ISO/IEC standardization is currently under way and SNOW 2.0 is one of the remaining candidates. Its sof...
103
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
106
Voted
ICSOC
2005
Springer
15 years 6 months ago
2005
Springer
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
102
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...