3216 search results - page 456 / 644 » Software engineering issues for mobile application developme... |
141
click to vote
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
Active Network technology envisions deployment of virtual execution environments within network elements, such as switches and routers. As a result, nonhomogeneous processing can ...
127
click to vote
VMCAI
2010
Springer
16 years 15 days ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
119
click to vote
PEPM
2010
ACM
16 years 4 days ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
155
click to vote
IWPC
2008
IEEE
15 years 9 months ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...
128
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
A major issue in many domains is to present information to people that is tailored to their need, in such a way that it supports them in their tasks. In this paper, we present the...