2205 search results - page 253 / 441 » Mutation Operators for Specifications |
152
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
130
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
125
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
146
click to vote
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...
141
click to vote
WEBDB
2005
Springer
15 years 9 months ago
2005
Springer
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...