1781 search results - page 204 / 357 » An Emerging Need for a New Software Engineering Method |
187
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
151
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Although local biasing of components used in an analog circuit is shown to be a very attractive design methodology, significantly simplifying the design procedure [3], it makes the...
187
click to vote
IUI
2011
ACM
14 years 9 months ago
2011
ACM
In this paper, we present a new type of Marking menus. Continuous Marking Menus are specifically dedicated to penbased interfaces, and designed to define a set of cursive, reali...
185
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
174
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...