5326 search results - page 311 / 1066 » On what we can ensure |
183
click to vote
CACM
2000
15 years 6 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
173
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
This paper re-examines the classical problem of minimizing maximum lateness which is defined as follows: given a collection of n jobs with processing times and due dates, in what o...
168
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
162
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Through automated negotiation we aim to improve task allocation in a distributed sensor network. In particular, we look at a type of adaptive weather-sensing radar that permits th...
181
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...