It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
Matrix interpretations can be used to bound the derivational complexity of rewrite systems. We present a criterion that completely characterizes matrix interpretations that are pol...
Iceberg queries are a special case of SQL queries involving GROUP BY and HAVING clauses, wherein the answer set is small relative to the database size. We present here a performanc...
Krishna P. Leela, Pankaj M. Tolani, Jayant R. Hari...
This paper proposes an improved free-roaming mobile agent security protocol. The scheme uses "one hop backwards and two hops forwards" chain relation as the protocol cor...
Darren Xu, Lein Harn, Mayur Narasimhan, Junzhou Lu...
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...