3911 search results - page 478 / 783 » Using Operational Architecture to Model Embedded Software |
134
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
The IEEE P754 Draft Standard for Floating-point Arithmetic provides specifications for Decimal Floating-Point (DFP) formats and operations. Based on this standard, many developer...
153
Voted
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
198
click to vote
WORM
2003
15 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
184
click to vote
EWSN
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents two lifetime models that describe two of the most common modes of operation of sensor nodes today, triggerdriven and duty-cycle driven. The models use a set of ...
199
click to vote
AIME
2007
Springer
16 years 28 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...