1835 search results - page 133 / 367 » A Generic Framework for the Modeling of Contexts and its App... |
CSFW
1995
IEEE
14 years 15 days 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...
XPU
2009
Springer
14 years 3 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
APCCM
2009
13 years 10 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
ER
2000
Springer
14 years 16 days ago
2000
Springer
Abstract E-commerce, web-based booking systems, and on-line auction systems are only a few examples that demonstrate how WWW sites are evolving from hypermedia information reposito...
EDBT
2011
ACM
13 years 14 days ago
2011
ACM
GPS devices allow recording the movement track of the moving object they are attached to. This data typically consists of a stream of spatio-temporal (x,y,t) points. For applicati...