Sciweavers

4276 search results - page 482 / 856
» Techniques for Empirical Validation
Sort
View
ISW
2000
Springer
15 years 10 months ago
Towards a Practical Secure Framework for Mobile Code Commerce
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
Gaël Hachez, Laurent Den Hollander, Mehrdad J...
APN
1997
Springer
15 years 10 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
COORDINATION
2010
Springer
15 years 10 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
AAAI
2007
15 years 9 months ago
Single Document Summarization with Document Expansion
Existing methods for single document summarization usually make use of only the information contained in the specified document. This paper proposes the technique of document expa...
Xiaojun Wan, Jianwu Yang
AAAI
2007
15 years 9 months ago
Reasoning about Attribute Authenticity in a Web Environment
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
Thomas Wölfl