6800 search results - page 735 / 1360 » Testing with Functions as Specifications |
198
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
224
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Pervasive computing promises to revolutionize computing, empower mobile users, and enhance mobility, customizability and adaptability of computing environments. Intrinsic to the n...
224
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
180
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper discusses several important aspects in the HSUPA scheduling algorithms. First, it clearly demonstrates the benefit of explicitly utilizing the directly measured Rise-...
170
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing studies on IT outsourcing have mainly examined partnership factors that influence IT outsourcing effectiveness. This stream of IT outsourcing research has largely ignored...