156 search results - page 1 / 32 » Blogosphere: research issues, tools, and applications |
SIGKDD
2008
13 years 4 months ago
2008
Weblogs, or Blogs, have facilitated people to express their thoughts, voice their opinions, and share their experiences and ideas. Individuals experience a sense of community, a f...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
IJCIS
2000
13 years 4 months ago
2000
Agent technologies have steadily matured in moving from the research laboratory to industrial application over the last ten years. Numerous systems have been deployed or are under...
ISCAS
1999
IEEE
13 years 8 months ago
1999
IEEE
In a companion paper of this session [1] we formally defined the notion of equivalence classes of circuits which are physical clones of an existing benchmark seed circuit created ...
MMMACNS
2001
Springer
13 years 8 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...