6800 search results - page 651 / 1360 » Testing with Functions as Specifications |
211
click to vote
CSB
2005
IEEE
16 years 27 days ago
2005
IEEE
Specific topic search in the PubMed Database, one of the most important information resources for scientific community, presents a big challenge to the users. The researcher typic...
217
click to vote
ESTIMEDIA
2005
Springer
16 years 24 days ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
193
click to vote
GECCO
2004
Springer
16 years 20 days ago
2004
Springer
Many challenges remain in the development of tactical planning systems that will enable automated, cooperative replanning of routes and mission assignments for multiple unmanned gr...
172
click to vote
ICWE
2004
Springer
16 years 19 days 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...
187
click to vote
MDAFA
2004
Springer
16 years 19 days ago
2004
Springer
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...