6174 search results - page 265 / 1235 » The language of social software |
163
click to vote
APSEC
2006
IEEE
16 years 22 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
191
click to vote
CD
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
192
click to vote
SPIN
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
160
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...
176
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...