7452 search results - page 1192 / 1491 » A Semantics for Multiprocessor Systems |
211
click to vote
WOA
2007
15 years 7 months ago
2007
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...
220
click to vote
DBSEC
2009
15 years 7 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
173
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
173
click to vote
GMP
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...
179
click to vote
MIR
2010
ACM
15 years 7 months ago
2010
ACM
Ideally, one would like to perform image search using an intuitive and friendly approach. Many existing image search engines, however, present users with sets of images arranged i...