2306 search results - page 150 / 462 » Modeling issues in a shipping system |
APSEC
2002
IEEE
15 years 3 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
CSCL
2006
14 years 10 months ago
2006
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Recent work suggests that the human ear varies significantly between different subjects and can be used for identification. In principle, therefore, using ears in addition to the f...
NOMS
2002
IEEE
2002
IEEE
Design of a network level management information model for automatically switched transport networks
15 years 3 months ago
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...