1788 search results - page 103 / 358 » Model Theory for Process Algebra |
104
Voted
ECIS
2004
15 years 2 months ago
2004
This paper explores the use of two complementary approaches, each stemming from Personal Construct Theory (PCT), to investigate the interdependence of organizations and informatio...
98
Voted
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
94
Voted
DBPL
2003
Springer
15 years 6 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
115
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
80
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...