2205 search results - page 64 / 441 » Mutation Operators for Specifications |
APSEC
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
—Channel-specific path data for a 44-node 2.4 GHz wireless sensor network deployed in an industrial setting is presented. Each node generates one data packet every 28 seconds wit...
AE
2007
Springer
14 years 3 months ago
2007
Springer
A simple mechanism is presented for the emergence of recognition patterns that are used by individuals to find each other and mate. The genetic component determines the brain of an...
IFIP
1992
Springer
14 years 1 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
DNA
2009
Springer
14 years 29 days ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...