6174 search results - page 989 / 1235 » The language of social software |
210
click to vote
SEAA
2008
IEEE
16 years 29 days ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
146
click to vote
TASE
2008
IEEE
16 years 29 days ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
199
click to vote
TASE
2008
IEEE
16 years 29 days 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...
151
click to vote
APSEC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
172
click to vote
CODES
2007
IEEE
16 years 28 days ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...