149 search results - page 15 / 30 » Experiences with formal specification of fault-tolerant file... |
ENTCS
2006
13 years 7 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
One important aspect of motivation is engagement. In order to learn, students need to be engaged in the learning activities. However, that does not always happen due to various fac...
LDTA
2010
13 years 7 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...