7121 search results - page 160 / 1425 » Functions as Session-Typed Processes |
115
click to vote
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
Custom packet processing functionality in routers is one of the key characteristics of next-generation Internet architectures. Network services have been proposed as an abstractio...
122
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
125
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
129
click to vote
NIPS
2004
15 years 4 months ago
2004
Log-concavity is an important property in the context of optimization, Laplace approximation, and sampling; Bayesian methods based on Gaussian process priors have become quite pop...
116
Voted
ICPPW
2007
IEEE
15 years 9 months ago
2007
IEEE
With the growth in the computation capacity of sensor nodes, they are increasingly equipped to handle more complex functions. Moreover, the need to realize the complete loop of se...