4770 search results - page 88 / 954 » Flexible Type Analysis |
108
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
160
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
174
Voted
JIPS
2010
14 years 11 months ago
2010
Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environm...
137
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...
151
click to vote
BALT
2008
15 years 6 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...