598 search results - page 86 / 120 » Generic Trace Theory |
CL
2002
Springer
13 years 10 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
SIAMJO
2002
13 years 9 months ago
2002
A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—Since the inception of network coding in information theory, we have witnessed a sharp increase of research interest in its applications in communications and networking, where ...
MOBIHOC
2010
ACM
13 years 8 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
ISJ
2010
13 years 7 months ago
2010
Information systems (IS) research on user involvement has primarily theorized relationships between developers, managers and users in systems development. However, so far, marginal...