1599 search results - page 263 / 320 » A Reference Model for Knowledge Management in Software Engin... |
78
Voted
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
120
click to vote
SIGIR
2012
ACM
13 years 17 days ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
106
click to vote
INTERACTION
2009
ACM
15 years 2 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
101
click to vote
BIRTHDAY
2004
Springer
15 years 1 months ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...