3104 search results - page 605 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
139
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
115
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Intelligent directory assistance is the ability to retrieve relevant subscriber records in the presence of mismatches between the query and the subscriber record. The challenges a...
151
click to vote
IM
2003
15 years 5 months ago
2003
: Monitoring is a fundamental building block of any network management system. It is needed to ensure that the network operates within the required parameters, and to account for u...