3483 search results - page 284 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
142
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally ...
163
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
178
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, the bag-of-words approach has been successfully applied to automatic image annotation, object recognition, etc. The method needs to first quantize an image using the vis...
135
Voted
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
139
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...