6174 search results - page 342 / 1235 » The language of social software |
176
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
239
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
205
click to vote
CD
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
169
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
163
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
BibSonomy is a web-based social resource sharing system which allows users to organise and share bookmarks and publications in a collaborative manner. Apart from standard folksono...