2881 search results - page 553 / 577 » Model Checking for Programming Languages using Verisoft |
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
ICALP
2004
Springer
14 years 24 days ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
UM
2010
Springer
14 years 14 days ago
2010
Springer
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....
MEDINFO
2007
13 years 8 months ago
2007
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...