6016 search results - page 1032 / 1204 » The semantics of graphical languages |
119
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
145
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
This paper is devoted to explore media correlation and media synchronization in a composite multimedia document, the so-called navigated hypermedia document in our language learni...
143
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
148
click to vote
CC
2009
Springer
15 years 9 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
146
click to vote
IDMS
1997
Springer
15 years 8 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...