3868 search results - page 151 / 774 » Open Systems in TLA |
183
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
192
Voted
LPAR
2005
Springer
16 years 14 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
198
Voted
PVM
2007
Springer
16 years 1 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
185
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
176
Voted
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...