1661 search results - page 159 / 333 » Real-time specification patterns |
106
Voted
GI
2004
Springer
15 years 7 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
109
click to vote
AGI
2008
15 years 3 months ago
2008
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
86
Voted
AIM
2006
15 years 3 months ago
2006
: Situations of collaborative working are more and more complex and various in organizations. Such diversification is little studied in the literature. Researches about "techn...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
118
Voted
IJFCS
2008
15 years 1 months ago
2008
We present a data structure to index a specific kind of factors, that is of substrings, called gapped-factors. A gapped-factor is a factor containing a gap that is ignored during ...