3742 search results - page 399 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
A broadcast authentication mechanism is important in wireless sensor networks, assuring receivers of a packet's validity. To provide authentication, some researchers utilize ...
157
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
155
click to vote
AAAI
2007
15 years 9 months ago
2007
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...
182
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
165
click to vote
LREC
2008
15 years 8 months ago
2008
We describe the process of converting plain text cultural heritage data to elements of a domain-specific knowledge base, using general machine learning techniques. First, digitise...