4353 search results - page 790 / 871 » Expressiveness of Process Algebras |
171
click to vote
MSR
2009
ACM
16 years 25 days ago
2009
ACM
Defect prediction is an important task in the mining of software repositories, but the quality of predictions varies strongly within and across software projects. In this paper we...
170
click to vote
ICASSP
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
183
click to vote
ICST
2008
IEEE
16 years 22 days ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
167
click to vote
ICST
2008
IEEE
16 years 22 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
159
click to vote
ICDE
2007
IEEE
16 years 19 days ago
2007
IEEE
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...