3625 search results - page 366 / 725 » On Timed Models of Gene Networks |
178
Voted
WEBI
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...
169
click to vote
VRML
2004
ACM
16 years 6 days ago
2004
ACM
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...
214
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
131
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper analytically studies retransmission-based partially reliable transport service. Results show that partially reliable transport service provides increasingly higher thro...
177
click to vote
CN
2007
15 years 6 months ago
2007
Currently, Internet hosting centers and content distribution networks leverage statistical multiplexing to meet the performance requirements of a number of competing hosted networ...