2127 search results - page 287 / 426 » Software Automation |
174
click to vote
CIVR
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
152
click to vote
ICFEM
2007
Springer
16 years 17 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
201
click to vote
ICWE
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
161
click to vote
LPNMR
2007
Springer
16 years 17 days ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
168
click to vote
SEKE
2007
Springer
16 years 16 days ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...