3619 search results - page 505 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
132
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
142
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
119
click to vote
FMSB
2008
15 years 5 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
142
Voted
IC
2003
15 years 5 months ago
2003
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
123
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper outlines and discusses the pedagogical approach, the technical design architecture, and an innovative implementation of a collaborative role-play simulation technology ...