Sciweavers

3865 search results - page 376 / 773
» Active memory operations
Sort
View
AAMAS
2007
Springer
15 years 7 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
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
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