5312 search results - page 354 / 1063 » Business Process Management Systems |
174
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
288
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
160
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
210
click to vote
CAISE
2003
Springer
16 years 9 hour ago
2003
Springer
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
212
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...