3387 search results - page 454 / 678 » Model-Checking for Real-Time Systems |
206
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
193
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...
216
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
233
Voted
IDEAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes WIDS, a wireless intrusion detection system, which applies data mining clustering technique to wireless network data captured through hardware sensors for purp...
175
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper describes the recognition of container code characters. The system has to deal with outdoor images which usually have damaged characters and obtain an answer in real ti...