2496 search results - page 227 / 500 » Error-detecting properties of languages |
162
click to vote
IROS
2007
IEEE
16 years 29 days 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...
177
click to vote
SEFM
2007
IEEE
16 years 29 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
174
click to vote
CAISE
2007
Springer
16 years 26 days ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
134
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
134
click to vote
CICLING
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...