335 search results - page 40 / 67 » Arguing safety with Problem Oriented Software Engineering |
164
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
133
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
— We consider the problem of finding the relevant named entities in response to a search query over a given text corpus. Entity search can readily be used to augment conventiona...
157
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
122
click to vote
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
241
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...