219 search results - page 2 / 44 » Bond-Free Languages: Formalizations, Maximality and Construc... |
ZUM
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
IIE
2007
13 years 5 months ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
ISORC
1999
IEEE
13 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
LREC
2008
13 years 7 months ago
2008
This paper deals with the treatment of constructed neologisms in a machine translation system. It focuses on a particular issue in Romance languages: relational adjectives and the...