2612 search results - page 391 / 523 » Semantic Attention Management |
185
Voted
ACMICEC
2006
ACM
16 years 25 days 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...
204
Voted
GIR
2006
ACM
16 years 25 days 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...
194
Voted
SACMAT
2006
ACM
16 years 25 days 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...
195
click to vote
ICCD
2005
IEEE
16 years 14 days 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...
215
Voted
WORDS
2005
IEEE
16 years 13 days 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...