3819 search results - page 201 / 764 » Simple Easy Terms |
200
click to vote
CADE
2004
Springer
16 years 14 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
209
click to vote
ICMI
2004
Springer
16 years 14 days ago
2004
Springer
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
176
click to vote
IH
2004
Springer
16 years 13 days ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
186
click to vote
MIDDLEWARE
2004
Springer
16 years 13 days ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
217
click to vote
PPDP
2004
Springer
16 years 13 days ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...