43190 search results - page 113 / 8638 » Can Development Be Designed |
121
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
133
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We design a scalable and expressive naming system called SENS, which can retrieve information of computing and content resources distributed widely on the Internet by e...
126
click to vote
ALT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
121
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
There is a growing interest in applying market mechanisms to tackle everyday communication problems such as communication interruptions and communication overload. Prior analytic ...
127
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...