3081 search results - page 438 / 617 » A Formal Ontology of Properties |
180
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
145
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...
179
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
184
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
166
click to vote
ICST
2008
IEEE
16 years 29 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...