6253 search results - page 1101 / 1251 » Use Case Modeling Guidelines |
128
Voted
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
121
Voted
CANDT
2009
15 years 7 months ago
2009
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
157
Voted
HIPC
2007
Springer
15 years 7 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
143
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
142
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...