6174 search results - page 169 / 1235 » The language of social software |
174
click to vote
AAAI
2011
14 years 6 months ago
2011
We have carefully instrumented a large portion of the population living in a university graduate dormitory by giving participants Android smart phones running our sensing software...
133
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
161
click to vote
WICSA
2001
15 years 7 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
189
click to vote
SEW
2005
IEEE
16 years 2 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
170
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...