8719 search results - page 382 / 1744 » Visualization of Distributed Processes Using |
211
click to vote
BPM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
143
click to vote
CJ
2010
15 years 7 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
197
click to vote
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
- Smart care technology is any sensor based technology used to aid and support human independent living. Such technologies offer new potential and can give rise to new problems for...
198
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
208
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...