828 search results - page 78 / 166 » Global Software Enterpreneurship |
161
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
156
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
149
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
165
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
137
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
Development of computer communications has catalyzed integration processes in world communities. Initial efforts concerning integration have showed great heterogeneity between dat...