557 search results - page 49 / 112 » The L4.verified Project - Next Steps |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
DISOPT
2008
13 years 7 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
IAJIT
2008
13 years 7 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
CE
2007
2007
Transition from traditional to ICT-enhanced learning environments in undergraduate chemistry courses
13 years 7 months ago
This paper describes a three-year study conducted among chemistry instructors (professors and teaching assistants) at a post-secondary institution. The goal was to explore the int...
COMSIS
2007
13 years 7 months ago
2007
This paper presents preview of the new book titled “Security of Computer Systems and Networks” (original in Serbian language “Sigurnost računarskih sistema i mreža”) – ...