5312 search results - page 818 / 1063 » Business Process Management Systems |
186
click to vote
TC
2008
15 years 6 months ago
2008
Security is gaining relevance in the development of embedded devices. Toward a secure system at each level of design, this paper addresses security aspects related to Network-on-Ch...
159
click to vote
CN
1999
15 years 6 months ago
1999
To appropriately address the problem of large-scale distributed intrusion assessment/detection, issues such as information exchange, work division and coordination amongst various...
167
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...
148
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: The most valuable information assets of an organization are often stored in databases and it is pertinent for such organizations to ensure the integrity and confidentiality of t...
191
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...