4917 search results - page 451 / 984 » Software Engineering is Not Computer Science |
147
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
120
click to vote
RE
2007
Springer
15 years 11 months ago
2007
Springer
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
141
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
143
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
129
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...