3819 search results - page 445 / 764 » An Outsourcing Model of Software Development |
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
838
click to vote
Lecture Notes
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
158
click to vote
WCRE
2006
IEEE
16 years 26 days ago
2006
IEEE
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
204
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
197
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...