17129 search results - page 437 / 3426 » Applied Computing |
151
Voted
JSC
2010
15 years 1 months ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
190
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
The Globus Toolkit makes it very easy and comfortable for grid users to develop and deploy grid service. As for the security mechanism, however, only static authentication and coar...
160
click to vote
UC
2005
Springer
16 years 8 days ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
171
Voted
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
186
click to vote
ISPEC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...