4286 search results - page 125 / 858 » Formalizing Service Interactions |
151
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
132
click to vote
IJIQ
2008
15 years 6 months ago
2008
: Digital services can be thought as internet based applications that fulfil users' needs and their quality represents a basic element during the delivery process. In such a c...
150
click to vote
AO
2005
15 years 6 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
139
click to vote
DSVIS
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...