1039 search results - page 18 / 208 » The Def-inite Approach to Dependency Analysis |
ECRTS
2006
IEEE
14 years 2 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
DOCENG
2007
ACM
14 years 12 days ago
2007
ACM
We describe ongoing research on segmenting and labeling HTML medical journal articles. In contrast to existing approaches in which HTML tags usually serve as strong indicators, we...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
ISPW
2005
IEEE
14 years 2 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
RR
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...