10159 search results - page 193 / 2032 » System Design Validation Using Formal Models |
108
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Mitochondrial DNA (mtDNA) is widely being used for population genetics, forensic DNA fingerprinting and clinical disease association studies. The recent past has uncov...
128
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
147
Voted
FMOODS
2007
15 years 4 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
80
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
111
Voted
WSC
2007
15 years 5 months ago
2007
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...