6016 search results - page 776 / 1204 » The semantics of graphical languages |
255
click to vote
TAOSD
2010
15 years 6 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
212
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
227
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
232
click to vote
WOLLIC
2010
Springer
16 years 20 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
220
click to vote
WISE
2002
Springer
16 years 16 days ago
2002
Springer
To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Fram...