6174 search results - page 1030 / 1235 » The language of social software |
180
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
231
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development ...
145
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
148
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
175
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...