2615 search results - page 120 / 523 » Analysis of Real Time Operating System Based Applications |
164
click to vote
MOBIHOC
2006
ACM
16 years 2 months ago
2006
ACM
Recent studies on mobility modeling have focused on characterizing user mobility from real traces of wireless LANs (WLANs) and creating mobility models based on such characterizat...
202
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents a query optimizer module based on cost estimation that chooses the best filtering step algorithm to perform a specific spatial join operation. A set of express...
ANSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
155
click to vote
SNPD
2008
15 years 4 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
159
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...