4350 search results - page 60 / 870 » Case studies for contract-based systems |
MABS
1998
Springer
14 years 2 months ago
1998
Springer
In many domains, agent-based system modeling competes with equation-based approaches that identify system variables and evaluate or integrate sets of equations relating these varia...
EDM
2010
13 years 11 months ago
2010
One of the main problems faced by university students is deciding the right learning path based on available information such as courses, schedules and professors. In this context,...
HICSS
2011
IEEE
13 years 1 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
ISOLA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
JUCS
2000
13 years 9 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...