Sciweavers

815 search results - page 93 / 163
» Complexity classes for membrane systems
Sort
View
LICS
2012
IEEE
11 years 10 months ago
Graph Logics with Rational Relations and the Generalized Intersection Problem
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
Pablo Barceló, Diego Figueira, Leonid Libki...
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
14 years 2 months ago
XFA: Faster Signature Matching with Extended Automata
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
Randy Smith, Cristian Estan, Somesh Jha
RE
2010
Springer
13 years 2 months ago
Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...
Alexander Egyed, Florian Graf, Paul Grünbache...
HAPTICS
2003
IEEE
14 years 1 months ago
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
Volkan Patoglu, R. Brent Gillespie
INFSOF
2000
68views more  INFSOF 2000»
13 years 7 months ago
An extensible platform for the development of synchronous groupware
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...
G. Licea, Jesús Favela