4386 search results - page 829 / 878 » A Tamper-Resistant Programming Language System |
IFIP
2007
Springer
14 years 4 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
IFIP
2007
Springer
14 years 4 months ago
2007
Springer
As current Voice-over-IP (VoIP) systems encourage a direct communication between the callees they are similar in design to peerto-peer (P2P) approaches. Therefore, we introduce a f...
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
UM
2007
Springer
14 years 4 months ago
2007
Springer
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...