4126 search results - page 469 / 826 » Relationships with other Formalisms |
191
click to vote
IFL
2004
Springer
16 years 4 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
203
click to vote
MATES
2004
Springer
16 years 4 days ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
155
click to vote
SCN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
181
click to vote
RSP
2003
IEEE
16 years 1 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
180
click to vote
WISE
2003
Springer
16 years 1 days ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...