7109 search results - page 226 / 1422 » Process Algebra with Combinators |
136
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
167
click to vote
PE
2011
Springer
14 years 11 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
147
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we develop a joint Network Coding (NC)-channel coding error-resilient sensor-network approach that performs In-Network Processing based on channel code Design (IN...
146
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
Abstract. The success of Internet applications has led to an explosive growth in the demand for bandwidth from ISPs. Managing an IP network requires collecting and analyzing networ...
161
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...