2834 search results - page 178 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
229
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
160
click to vote
SEE
1989
Springer
15 years 10 months ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
143
click to vote
FROCOS
2005
Springer
16 years 1 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
185
click to vote
OZCHI
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
198
click to vote
ICEIS
2008
IEEE
16 years 29 days ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...