1420 search results - page 160 / 284 » A combined functional and object-oriented approach to softwa... |
183
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
194
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
161
click to vote
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
As intelligent devices become affordable and wireless infrastructure becomes pervasive, the potential to combine, or aggregate, device functionality to provide a user with a bette...
161
click to vote
COCOON
2008
Springer
15 years 8 months ago
2008
Springer
Given two sets of points in the plane, we are interested in locating a highway h such that an objective function on the city distance between points of the two sets is minimized (w...
164
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...