2513 search results - page 451 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
ACHI
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
MUM
2009
ACM
14 years 4 months ago
2009
ACM
There are academic and commercial drivers for contextawareness to play a prominent role in the future of mobile services. Implementing a complete model of context remains an unsol...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...