RTA
2010
Springer
14 years 3 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Broadening adoption of social media applications within the enterprise offers a new and valuable data source for insight into the social structure of organizations. Social media ap...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
An important aspect in social computing is the structure of social networks, which build the underlying substrate for the exchange of information. With the growing importance of mi...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract--Web 2.0 users have many choices of contenthosting or application-service providers (CSPs). It can be difficult for a user to share content with a set of real-life friends...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
A lifetime of several years for wireless sensor nodes can be achieved if their activity period is minimized. This can be done by using low duty cycle protocols. One of the challeng...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architectur...
ITICSE
2010
ACM
14 years 3 months ago
2010
ACM
ICMT
2010
Springer
14 years 3 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
WG
1987
Springer
14 years 3 months ago
1987
Springer
STACS
1987
Springer
14 years 3 months ago
1987
Springer
It is shown that the graph isomorphism problem is located in the low hierarchy in NP. This implies that this problem is not NPcomplete (not even under weaker forms of polynomial-ti...