2205 search results - page 158 / 441 » Mutation Operators for Specifications |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many sy...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
WSC
2000
13 years 11 months ago
2000
Simulation models are useful to predict and understand the impact of changes to a manufacturing system. Typical factory simulation models include the parts being manufactured in t...