4360 search results - page 381 / 872 » Socio-technical systems: From design methods to systems engi... |
170
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
213
Voted
ISDA
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to their excellent performance in solving combinatorial optimization problems, metaheuristics algorithms such as Genetic Algorithms (GA), Simulated Annealing (SA) and Tabu Sea...
175
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
179
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
210
Voted
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...