2612 search results - page 391 / 523 » Semantic Attention Management |
114
Voted
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
142
Voted
GIR
2006
ACM
15 years 7 months ago
2006
ACM
Retrieving data based not only on key words is a challenge. We worked on semi-structured data (cultural heritage corpora). Our project aimed at getting the most relevant text-unit...
127
click to vote
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
125
click to vote
ICCD
2005
IEEE
15 years 7 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
143
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...