4151 search results - page 670 / 831 » Language Driven System Design |
133
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
106
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
We argue that a roadmap for software engineering and the Internet currently should be based on standards for complex data and document structures, like the Extensible Markup Langu...
123
click to vote
HPCN
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
116
click to vote
AAAI
2008
15 years 4 months ago
2008
The Semantic Web language RDF was designed to unambiguously define and use ontologies to encode data and knowledge on the Web. Many people find it difficult, however, to write com...