Sciweavers

1246 search results - page 107 / 250
» Recursive Timed Automata
Sort
View
CONEXT
2007
ACM
15 years 9 months ago
A hybrid finite automaton for practical deep packet inspection
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques have been proposed to compress DFAs in order to redu...
Michela Becchi, Patrick Crowley
JALC
2006
143views more  JALC 2006»
15 years 5 months ago
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gere...
SYNASC
2005
IEEE
86views Algorithms» more  SYNASC 2005»
15 years 10 months ago
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
Artiom Alhazov, Rudolf Freund, Agustin Riscos-N&ua...
VTC
2010
IEEE
130views Communications» more  VTC 2010»
15 years 3 months ago
Performance of the Space-Time Block Coded DS-CDMA Uplink Employing Soft-Output ACO-Aided Multiuser Space-Time Detection and Iter
Abstract—In this treatise we propose a three-stage twin-transmitantenna assisted MultiUser (MU) Direct Sequence Code-Division Mulitple Access (DS-CDMA) system employing both a Un...
Chong Xu, Mohammed El-Hajjar, Robert G. Maunder, L...
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 9 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen