9455 search results - page 1675 / 1891 » The Modelling Language Zinc |
153
click to vote
EMSOFT
2009
Springer
16 years 18 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
173
click to vote
LORI
2009
Springer
16 years 17 days ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
162
click to vote
FOCS
2008
IEEE
16 years 15 days ago
2008
IEEE
Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often domi...
162
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
174
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...