Sciweavers

6253 search results - page 956 / 1251
» Use Case Modeling Guidelines
Sort
View
JETAI
2006
63views more  JETAI 2006»
15 years 6 months ago
Principled exploitation of behavioural coupling
In robot building, attention tends to focus on internal signal processing and the way desired motor signals are generated. But equally important is the selection and configuration...
Chris Thornton
JPDC
2006
87views more  JPDC 2006»
15 years 6 months ago
Honeypot back-propagation for mitigating spoofing distributed Denial-of-Service attacks
Any packet destined to a honeypot machine (that is, a decoy server machine) is most probably an attack packet. We propose honeypot back-propagation, a scheme that traces attack pa...
Sherif M. Khattab, Rami G. Melhem, Daniel Moss&eac...
ENTCS
2007
97views more  ENTCS 2007»
15 years 6 months ago
An Operational Semantics for Shared Messaging Communication
Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...
Astrid Kiehn
FMSD
2007
101views more  FMSD 2007»
15 years 6 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
BMCBI
2005
99views more  BMCBI 2005»
15 years 6 months ago
Effective ambiguity checking in biosequence analysis
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
Janina Reeder, Peter Steffen, Robert Giegerich