9390 search results - page 1591 / 1878 » 'Interactivity' - Tracking a New Concept |
213
click to vote
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
16 years 7 months ago
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
223
Voted
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Software engineering (SE) is very different in focus from traditional computer science: it is not just about computers and software, but as much about the context in which they ar...
259
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
226
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
197
Voted
PERCOM
2004
ACM
16 years 7 months ago
2004
ACM
Connectivity is central to pervasive computing environments. We seek to catalyze a world of rich and diverse connectivity through technologies that drastically simplify the task o...