4128 search results - page 160 / 826 » Learning and using relational theories |
100
click to vote
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
125
Voted
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
102
Voted
CORR
2004
Springer
15 years 20 days ago
2004
Springer
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...
121
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...
126
Voted
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...