10666 search results - page 1669 / 2134 » Quantum programming languages |
174
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
202
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
141
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
176
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
179
click to vote
CSCW
2004
ACM
16 years 7 days ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...