2513 search results - page 384 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
81
Voted
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
ESIAT
2009
IEEE
14 years 7 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
114
click to vote
HCI
2009
14 years 7 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
105
click to vote
ICFP
2012
ACM
13 years 15 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
88
Voted
HPDC
1998
IEEE
15 years 2 months ago
1998
IEEE
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...