949 search results - page 77 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
114
click to vote
APIN
2002
15 years 2 months ago
2002
Decades of research into the structure and function of the cerebellum have led to a clear understanding of many of its cells, as well as how learning might take place. Furthermore...
117
Voted
ISTA
2003
15 years 3 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
142
Voted
ISORC
1999
IEEE
15 years 6 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...
113
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
121
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...