2830 search results - page 252 / 566 » No Science without Semantics |
149
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
116
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
140
Voted
STACS
2009
Springer
15 years 11 months ago
2009
Springer
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained us...
156
Voted
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
119
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
The current set of social networking platforms, e.g. Facebook and MySpace, has created a new class of Internet applications called social software. These systems focus on leveragi...