5671 search results - page 1008 / 1135 » A Semantic Approach to Interpolation |
207
click to vote
FORMATS
2003
Springer
16 years 5 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
200
Voted
ISMIS
2003
Springer
16 years 4 days ago
2003
Springer
Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the ...
202
click to vote
APSCC
2009
IEEE
16 years 2 days ago
2009
IEEE
With the widespread of Web Services (WS), more deployed services are being registered into a services registry, consequently giving rise to a series of problems. A conspicuous one...
178
click to vote
TAMC
2010
Springer
16 years 14 hour ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
201
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...