13618 search results - page 2458 / 2724 » The Newton Operating System |
186
click to vote
SDMW
2010
Springer
15 years 2 months ago
2010
Springer
Searchable encryption is a technique that allows a client to store documents on a server in encrypted form. Stored documents can be retrieved selectively while revealing as little ...
141
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
122
click to vote
SG
2010
Springer
15 years 2 months ago
2010
Springer
We present a graphical user interface that allows an artist to virtually design and visualize net sculptures. Net sculptures consist of net pieces that are seamlessly connected to ...
133
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
140
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...