6348 search results - page 1166 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
118
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Wide-area distributed applications are challenging to debug, optimize, and maintain. We present Wide-Area Project 5 (WAP5), which aims to make these tasks easier by exposing the c...
123
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
165
Voted
ICFP
2006
ACM
16 years 2 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...
125
Voted
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
133
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Geography and social relationships are inextricably intertwined; the people we interact with on a daily basis almost always live near us. As people spend more time online, data re...