1312 search results - page 204 / 263 » Embedded contract languages |
123
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
143
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
140
click to vote
WPES
2003
ACM
15 years 8 months ago
2003
ACM
The idea of using user preferences to assist with information filtering and with providing the most “relevant” answers to queries has recently received some attention from th...
120
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
118
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...