4335 search results - page 688 / 867 » Ontology Engineering Relationally |
162
click to vote
ARCS
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
162
click to vote
ICFCA
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
170
click to vote
IDEAS
2008
IEEE
16 years 11 days ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...
173
click to vote
EMSOFT
2007
Springer
16 years 3 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
142
click to vote
FOSSACS
2007
Springer
16 years 3 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...