1188 search results - page 217 / 238 » Testing Semantics: Connecting Processes and Process Logics |
109
Voted
SIGOPS
2008
15 years 3 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
118
Voted
TCS
2010
15 years 2 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
136
Voted
SCIENTOMETRICS
2010
14 years 10 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...
138
Voted
ACL
2012
13 years 6 months ago
2012
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...
129
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...