2586 search results - page 313 / 518 » Automatic Abstraction for Congruences |
149
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
262
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
170
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract Intelligent calendar assistants have many years ago attracted researchers from the areas of scheduling, machine learning and human computer interaction. However, all effor...
178
click to vote
ARESEC
2011
14 years 6 months ago
2011
—The concept of risk-based adaptive access control (RAdAC, pronounced Raid-ack) has been recently introduced in the literature. It seeks to automatically (or semi-automatically) ...
179
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...