1772 search results - page 260 / 355 » The Model Coupling Toolkit |
EURONGI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This work introduces a new analytical method for performance evaluation of wireless packet-oriented networks. Unlike traditional call admission control procedures commonl...
CHARME
1997
Springer
15 years 2 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
130
click to vote
HLPPP
1991
15 years 2 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
BIRD
2008
Springer
15 years 1 months ago
2008
Springer
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...
NIPS
2007
15 years 22 days ago
2007
We extend the Bayesian skill rating system TrueSkill to infer entire time series of skills of players by smoothing through time instead of filtering. The skill of each participat...