7080 search results - page 1327 / 1416 » Designing High Integrity Systems Using Aspects |
109
click to vote
LOPSTR
2005
Springer
15 years 4 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
104
click to vote
WEBDB
2004
Springer
15 years 4 months ago
2004
Springer
In our research on superimposed information management, we have developed applications where information elements in the superimposed layer serve to annotate, comment, restructure...
GI
2009
Springer
15 years 3 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
VTS
2005
IEEE
15 years 4 months ago
2005
IEEE
: This project involves the design of a CMOS RF RMS Detector that converts the RMS voltage amplitude of an RF signal to a DC voltage. Its high input impedance and small area make i...
ICSM
2007
IEEE
15 years 5 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...