Sciweavers

2373 search results - page 441 / 475
» Modelling Facial Behaviours
Sort
View
ENTCS
2006
173views more  ENTCS 2006»
14 years 11 months ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
IJMMS
2008
90views more  IJMMS 2008»
14 years 11 months ago
Pair programming and the mysterious role of the navigator
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
Sallyann Bryant, Pablo Romero, Benedict du Boulay
IANDC
2006
97views more  IANDC 2006»
14 years 11 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
Robin Milner
IJSTM
2008
77views more  IJSTM 2008»
14 years 11 months ago
The internal differentiation of the KIBS sector: empirical evidence from cluster analysis
: The sector of Knowledge-Intensive Business Services (KIBS) is characterised by high rates of firm fluctuation, rapid changes in technological progress (e.g., in the software indu...
Daniel Horgos, Andreas Koch
JAR
2008
107views more  JAR 2008»
14 years 11 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer