147 search results - page 6 / 30 » Supporting the Negotiation Life Cycle |
ENTCS
2008
13 years 11 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
FLAIRS
1998
14 years 6 days ago
1998
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...
IWDC
2005
Springer
14 years 4 months ago
2005
Springer
:- The wide availability of mobile devices equipped with wireless communication capabilities together with the technical possibility to form ad hoc networks paves the way for build...
DSVIS
1998
Springer
14 years 3 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...