2205 search results - page 194 / 441 » Mutation Operators for Specifications |
133
Voted
GI
2010
Springer
15 years 15 days ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
166
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
107
click to vote
TR
2010
14 years 9 months ago
2010
Abstract--We examine optimal repair strategies for wind turbines operated under stochastic weather conditions. In-situ sensors installed at wind turbines produce useful information...
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...
106
click to vote
ENTCS
2006
15 years 2 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...