2209 search results - page 372 / 442 » Language Based Secure Communication |
102
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
118
click to vote
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
131
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Thread migration is established as a mechanism for achieving dynamic load sharing. However, fine-grained migration has not been used due to the high thread and messaging overheads...
112
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
134
click to vote
OPODIS
2008
15 years 3 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...