1368 search results - page 210 / 274 » Modeling the Telephone Call Network |
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...
FMSP
2000
ACM
14 years 2 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
WETICE
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...
ISCA
1993
IEEE
14 years 2 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...