2404 search results - page 279 / 481 » Postmodernism and Control Engineering |
166
Voted
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
140
click to vote
ICSM
2009
IEEE
16 years 24 days ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
165
click to vote
ICSM
2009
IEEE
16 years 24 days ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
166
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
198
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...