16606 search results - page 454 / 3322 » Context Modeling: Task Model and Practice Model |
205
Voted
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
185
click to vote
MKWI
2008
15 years 8 months ago
2008
: The domain of business reporting and especially financial reporting plays an important role when discussing internal and external information flows among organizational units. Th...
181
click to vote
SCANGIS
2003
15 years 8 months ago
2003
The GI2000 initiative considered the requirements for a geographic information infrastructure in Europe. This was followed by the European Territorial Management Information Infras...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
160
click to vote
JSYML
2007
15 years 6 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...