5832 search results - page 699 / 1167 » Software complexity and maintainability |
162
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Recommender systems are new types of internet-based software tools, designed to help users find their way through today's complex on-line shops and entertainment websites. He...
229
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
216
Voted
DSD
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper presents the design and implementation of a baseband demodulator for DVB-S2 satellite receivers. In order to meet the requirements of different complex and multidomai...
193
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
179
click to vote
ECMDAFA
2007
Springer
16 years 1 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...