741 search results - page 117 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
100
click to vote
PLDI
2012
ACM
13 years 6 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
104
click to vote
CONSTRAINTS
2011
14 years 4 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
SAC
2003
ACM
15 years 3 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
ICDCSW
2003
IEEE
15 years 3 months ago
2003
IEEE
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...