11561 search results - page 1941 / 2313 » A Language for Biochemical Systems |
203
Voted
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
174
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
196
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
174
Voted
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
207
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...