Sciweavers

3747 search results - page 308 / 750
» Active Operations on Collections
Sort
View
JAR
2006
97views more  JAR 2006»
15 years 6 months ago
Decidability Issues for Extended Ping-Pong Protocols
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
Hans Hüttel, Jirí Srba
MJ
2006
86views more  MJ 2006»
15 years 6 months ago
Organic thin-film transistor sensors: Interface dependent and gate bias enhanced responses
Organic Thin Film Transistors are a new class of sensors potentially capable of outperforming chemiresistors. They can be operated at room temperature, offer the advantage of rema...
Maria C. Tanese, Daniel Fine, Ananth Dodabalapur, ...
FUIN
2007
100views more  FUIN 2007»
15 years 6 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
SIAMSC
2008
117views more  SIAMSC 2008»
15 years 6 months ago
Adaptive, Fast, and Oblivious Convolution in Evolution Equations with Memory
To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing N steps requires only O(N log N) op...
María López-Fernández, Christ...
MONET
2002
128views more  MONET 2002»
15 years 6 months ago
MARE: Resource Discovery and Configuration in Ad Hoc Networks
The emergence of personal portable devices, such as PDA's and Mobile phones, with considerable processing and communication capabilities, has led to a desire to use various co...
Matt Storey, Gordon S. Blair, Adrian Friday