Sciweavers

4286 search results - page 393 / 858
» Formalizing Service Interactions
Sort
View
CSCWD
2005
Springer
16 years 7 days ago
Analyzing groupware design by means of usability results
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
Pedro Antunes, Marcos R. S. Borges, José A....
NMR
2004
Springer
16 years 1 days ago
On the bipolarity in argumentation frameworks
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
Leila Amgoud, Claudette Cayrol, Marie-Christine La...
CIKM
2003
Springer
15 years 12 months ago
The link prediction problem for social networks
Given a snapshot of a social network, can we infer which new interactions among its members are likely to occur in the near future? We formalize this question as the link predicti...
David Liben-Nowell, Jon M. Kleinberg
CCS
1997
ACM
15 years 11 months ago
The Security of Static Typing with Dynamic Linking
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
Drew Dean
HYBRID
2007
Springer
15 years 10 months ago
Solving Coverage Problems with Embedded Graph Grammars
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
John-Michael McNew, Eric Klavins, Magnus Egerstedt