662 search results - page 87 / 133 » Formalizing Basic First Order Model Theory |
103
click to vote
SLOGICA
2002
15 years 1 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
111
click to vote
COCOON
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we study the spectrum assignment problem for wireless access networks. Opportunistic spectrum usage is a promising technology. However, it could suffer from the self...
119
Voted
RAS
2006
15 years 2 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
125
click to vote
GI
2010
Springer
15 years 8 days ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
118
click to vote
GECON
2007
Springer
15 years 8 months ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...