15754 search results - page 794 / 3151 » Programs are Knowledge Bases |
181
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
191
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
186
click to vote
ITS
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
229
click to vote
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
220
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...