1121 search results - page 125 / 225 » Building Formal Requirements Models for Reliable Software |
171
click to vote
ECOOPW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
177
click to vote
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
155
Voted
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
153
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
162
click to vote
INTERACTION
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...