6167 search results - page 276 / 1234 » Can Refinement be Automated |
162
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
188
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
The scalability extension of H.264/AVC [1] uses a layered approach for providing spatial, temporal, and SNR scalability. Due to this concept, only a restricted set of spatio-tempo...
222
click to vote
KES
2005
Springer
16 years 28 days ago
2005
Springer
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...
173
click to vote
DEXA
2003
Springer
16 years 20 days ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
193
click to vote
BMAS
2000
IEEE
15 years 12 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...