505 search results - page 95 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
KYOTODL
2000
13 years 8 months ago
2000
Today, bibliographical information is kept in a variety of digital libraries available on the Internet. The integration of bibliographical data is considered as one of the most im...
AIMS
2008
Springer
13 years 9 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
CDVE
2007
Springer
14 years 1 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
SIAMAM
2000
13 years 7 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
SIMULATION
1998
13 years 7 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...