446 search results - page 69 / 90 » LTS semantics for use case models |
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
81
Voted
ACMICEC
2004
ACM
15 years 5 months ago
2004
ACM
An extensive literature research in the fields of IT and business science reveals that service-related terms as service and e-service have multiple interpretations within busines...
FM
2001
Springer
15 years 4 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
100
click to vote
ISI
2006
Springer
14 years 12 months ago
2006
Springer
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...