1104 search results - page 39 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
CONCUR
1991
Springer
14 years 8 days ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
BPSC
2009
13 years 10 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper revisits the problem of detecting greedy behavior in the IEEE 802.11 MAC protocol by evaluating the performance of two previously proposed schemes: DOMINO and the Se...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...