4799 search results - page 646 / 960 » Model Based Requirements Engineering for Embedded Software |
172
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
168
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
188
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
177
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...
164
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper we propose two polling based scheduling schemes for applications based on TCP in a multipointto-point IEEE 802.16 network. The first scheme uses TCP conge...