1785 search results - page 175 / 357 » Modeling Communication with Synchronized Environments |
165
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
115
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
150
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
89
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
132
Voted
PADS
2004
ACM
15 years 9 months ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved significantly without compromising ...