Sciweavers

3686 search results - page 361 / 738
» Comprehensive comprehensions
Sort
View
119
Voted
SAC
2010
ACM
15 years 10 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
SIGCSE
2010
ACM
189views Education» more  SIGCSE 2010»
15 years 10 months ago
Principles of asking effective questions during student problem solving
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
Kristy Elizabeth Boyer, William Lahti, Robert Phil...
150
Voted
TMA
2010
Springer
487views Management» more  TMA 2010»
15 years 10 months ago
End-to-End Available Bandwidth Estimation Tools, An Experimental Comparison
Abstract. The available bandwidth of a network path impacts the performance of many applications, such as VoIP calls, video streaming and P2P content distribution systems. Several ...
Emanuele Goldoni, Marco Schivi
ACHI
2009
IEEE
15 years 10 months ago
Model-Driven Instrumentation of Graphical User Interfaces
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
Mathias Funk, Philip Hoyer, Stefan Link
AINA
2009
IEEE
15 years 10 months ago
Business Compliance Governance in Service-Oriented Architectures
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
Florian Daniel, Fabio Casati, Vincenzo D'Andrea, E...