3828 search results - page 635 / 766 » Proof-Based System Engineering Using a Virtual System Model |
113
Voted
IDTRUST
2009
ACM
15 years 9 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...
108
click to vote
MIDDLEWARE
2007
Springer
15 years 8 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...
128
Voted
EUROSYS
2008
ACM
15 years 11 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...
150
Voted
CGF
1998
15 years 2 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 ...
105
Voted
SIGIR
2005
ACM
15 years 8 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...