2205 search results - page 239 / 441 » Mutation Operators for Specifications |
117
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We investigate a biologically motivated approach to fast visual classification, directly inspired by the recent work [13]. Specifically, trading-off biological accuracy for comput...
146
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper provides an explicit expression for the capacity region of the two-user broadcast Z channel and proves that the optimal boundary can be achieved by independent encoding...
124
click to vote
ENTCS
2008
15 years 4 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
135
Voted
ENTCS
2008
15 years 4 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
104
click to vote
EOR
2008
15 years 4 months ago
2008
The optimisation of a printed circuit board assembly line is mainly influenced by the constraints of the surface mount device (SMD) placement machine and the characteristics of th...