9110 search results - page 256 / 1822 » Formally-Based Design Evaluation |
153
click to vote
ANSS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...
179
click to vote
EUROMICRO
2007
IEEE
16 years 25 days ago
2007
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. Server redund...
140
click to vote
ICDIM
2007
IEEE
16 years 25 days ago
2007
IEEE
: Integrated access to distributed data is an important problem faced in scientific and commercial applications. A data integration system provides a unified view for users to subm...
166
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
183
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Most Internet telephony applications currently use either TCP or UDP to carry their voice-over-IP (VoIP) traffic. This choice can be problematic, because TCP is not well suite...