3828 search results - page 635 / 766 » Proof-Based System Engineering Using a Virtual System Model |
134
click to vote
IDTRUST
2009
ACM
15 years 11 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
129
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
147
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
173
click to vote
CGF
1998
15 years 4 months ago
1998
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...
128
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...