387 search results - page 47 / 78 » Using Formal Concept Analysis to Establish Model Dependencie... |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
To create an understanding of enterprises and the ways they do business, a starting point could be to identify the main actors and the values transferred between them. Business mod...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
CSCWD
2001
Springer
14 years 10 days ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
BCS
2008
13 years 9 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...