Sciweavers

1109 search results - page 105 / 222
» Chirikov standard map
Sort
View
SEMWEB
2005
Springer
14 years 2 months ago
Representing Web Service Policies in OWL-DL
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
Vladimir Kolovski, Bijan Parsia, Yarden Katz, Jame...
HT
2004
ACM
14 years 2 months ago
Augmenting SCORM manifests with adaptive links
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...
Nor Aniza Abdullah, Christopher Bailey, Hugh C. Da...
WOSP
2004
ACM
14 years 2 months ago
Analysing UML 2.0 activity diagrams in the software performance engineering process
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
C. Canevet, Stephen Gilmore, Jane Hillston, Le&ium...
CD
2004
Springer
14 years 2 months ago
Customizing Component-Based Architectures by Contract
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
Orlando Loques, Alexandre Sztajnberg
EUROCRYPT
2004
Springer
14 years 2 months ago
Short Signatures Without Random Oracles
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
Dan Boneh, Xavier Boyen