Sciweavers

5326 search results - page 78 / 1066
» On what we can ensure
Sort
View
BIRTHDAY
2010
Springer
15 years 6 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
IPL
2007
72views more  IPL 2007»
15 years 6 months ago
How to safely close a discussion
In the secure communication problem, we focus on safe termination. In applications such as electronic transactions, we want each party to be ensured that both sides agree on the s...
Gildas Avoine, Serge Vaudenay
CORR
2008
Springer
63views Education» more  CORR 2008»
15 years 6 months ago
Desynched channels on IRCnet
In this paper we describe what a desynchronised channel on IRC is. We give procedures on how to create such a channel and how to remove desynchronisation. We explain which types o...
Michael Hansen, Jeroen F. J. Laros
FLAIRS
2007
15 years 8 months ago
Verbal Polysemy in Automatic Annotation
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
Maryvonne Abraham
CRIWG
2008
15 years 7 months ago
Toward a Taxonomy of Groupware Technologies
The rise of the global marketplace and the advancing of the World Wide Web have given impetus to rapid advances in groupware. Hundreds of products now exist in the groupware market...
Daniel D. Mittleman, Robert O. Briggs, John D. Mur...