1661 search results - page 64 / 333 » Real-time specification patterns |
EUROPLOP
2006
14 years 11 months ago
2006
We consider how to add security to the Broker distribution pattern. We do so by examining how systems using Broker are secured in practice, and by then revising the pattern to ref...
FCT
1997
Springer
15 years 2 months ago
1997
Springer
A connection management protocol establishes a connection between two hosts across a wide-area network to allow reliable message delivery. Following previous work of Kleinberg et a...
ENTCS
2008
14 years 10 months ago
2008
The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the ...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
To exploit co-occurrence patterns among features and target semantics while keeping the simplicity of the keywordbased visual search, a novel reranking methods is proposed. The ap...