3750 search results - page 151 / 750 » Timed Automata Patterns |
111
Voted
IJHPCA
2008
15 years 2 months ago
2008
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
131
Voted
LATA
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
115
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we focus on XML data integration by studying rewritings of XML target schemas in terms of source schemas. Rewriting is very important in data integration systems wh...
206
Voted
PDPTA
2010
15 years 16 days ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
123
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...