1484 search results - page 12 / 297 » Modelling with Relational Calculus of Object and Component S... |
197
Voted
SIGMOD
1990
ACM
15 years 7 months ago
1990
ACM
In this work access support relataons are introduced as a means for optlmizmg query processing m object-oriented database systems The general idea 1s to mamtam redundant separate ...
183
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
125
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
146
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
147
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...