1168 search results - page 160 / 234 » Influencing Software Usage |
156
click to vote
PPDP
2009
Springer
16 years 22 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
170
click to vote
SLE
2009
Springer
16 years 21 days ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
136
click to vote
COMSWARE
2008
IEEE
16 years 19 days ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...
206
click to vote
ICST
2008
IEEE
16 years 18 days ago
2008
IEEE
Web applications have rapidly become a critical part of business for many organizations. However, increased usage of web applications has not been reciprocated with corresponding ...
179
click to vote
ISSRE
2008
IEEE
16 years 17 days ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...