5407 search results - page 950 / 1082 » The Software Engineering Global Model |
129
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
142
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
129
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
123
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
127
Voted
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...