6348 search results - page 1151 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
120
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...
130
Voted
POPL
2010
ACM
16 years 4 hour ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
140
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
159
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
143
Voted
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...