1781 search results - page 109 / 357 » An Emerging Need for a New Software Engineering Method |
92
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
126
Voted
SOFT
2000
15 years 4 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
90
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
93
Voted
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
94
Voted
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...