788 search results - page 130 / 158 » Design and use of a system-level specification and verificat... |
153
click to vote
ICS
2005
Tsinghua U.
15 years 11 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
184
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
137
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
267
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
135
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...