1230 search results - page 118 / 246 » On Abstraction in Scenarios |
ICFEM
2010
Springer
14 years 11 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...
138
click to vote
HICSS
2012
IEEE
13 years 8 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
98
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose an application-driven multi-user resource allocation and frame scheduling concept for wireless video streaming. Our approach is based on joint optimization of the applic...
126
Voted
RECONFIG
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Integrated circuits for very high-speed telecommunication protocols often use ASICs, due to their strict timing constraints. This scenario is changing, since modern FPGA...
91
Voted
ERCIMDL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...