10159 search results - page 420 / 2032 » System Design Validation Using Formal Models |
167
click to vote
IDA
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
148
click to vote
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The designer needs simple and accurate models to estimate noise in MOS transistors as a function of their size, bias point and technology. In this work, we present a simple, conti...
151
click to vote
MOMM
2009
ACM
15 years 9 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...