4919 search results - page 860 / 984 » A Process-Ontological Model for Software Engineering |
DEXAW
2007
IEEE
15 years 4 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
110
click to vote
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
RTCSA
2003
IEEE
15 years 3 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...