2637 search results - page 65 / 528 » Tool Supported Specification and Simulation of Distributed S... |
147
click to vote
SCP
2010
14 years 10 months ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
165
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
113
click to vote
ICWE
2004
Springer
15 years 9 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...
145
click to vote
WISE
2003
Springer
15 years 9 months ago
2003
Springer
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers...
112
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...