788 search results - page 133 / 158 » Design and use of a system-level specification and verificat... |
174
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
159
click to vote
EUROMICRO
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
194
click to vote
RTSS
2006
IEEE
16 years 5 days ago
2006
IEEE
Time-sensitive Wireless Sensor Network (WSN) applications require finite delay bounds in critical situations. This paper provides a methodology for the modeling and the worst-case...
149
click to vote
GRAPHITE
2006
ACM
16 years 4 days ago
2006
ACM
In the presented article we discuss and detail the general methodological approaches, the reconstruction strategies and the techniques that have been employed to achieve the 3D in...
152
click to vote
WSC
1997
15 years 7 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...