Sciweavers

1705 search results - page 18 / 341
» Representing Constraints with Automata
Sort
View
DBSEC
2010
129views Database» more  DBSEC 2010»
13 years 9 months ago
Secure Outsourcing of DNA Searching via Finite Automata
This work treats the problem of error-resilient DNA searching via oblivious evaluation of finite automata, formulated as follows: a client has a DNA sequence, and a service provid...
Marina Blanton, Mehrdad Aliasgari
JDCTA
2010
156views more  JDCTA 2010»
13 years 2 months ago
Incorporating Graph Automata into Plant Growth Simulation with Nutrients Transport
In this paper we model the growth of living plants in a discrete approach, the graph automata based plant model representing each metamer of the plant as node of the automata. The...
Lingqiu Zeng, Hongchun Qu, Qingsheng Zhu, Youlan W...
RTA
2000
Springer
13 years 11 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren
SEMWEB
2005
Springer
14 years 1 months ago
Representing Web Service Policies in OWL-DL
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
Vladimir Kolovski, Bijan Parsia, Yarden Katz, Jame...
COORDINATION
2007
Springer
14 years 1 months ago
Component Connectors with QoS Guarantees
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moo...