3388 search results - page 16 / 678 » Type-theoretic design patterns |
136
click to vote
IFIP
2009
Springer
15 years 21 days ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
134
click to vote
CCR
2010
15 years 12 days ago
2010
This paper presents iNFAnt, a parallel engine for regular expression pattern matching. In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing ...
136
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
201
click to vote
UC
2010
Springer
15 years 25 days ago
2010
Springer
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...
106
click to vote
CSR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...