Sciweavers

5423 search results - page 727 / 1085
» Denial-of-service in automation systems
Sort
View
CSL
2003
Springer
16 years 3 days ago
Atomic Cut Elimination for classical Logic
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
Kai Brünnler
ILP
2003
Springer
16 years 2 days ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
ISCIS
2003
Springer
16 years 2 days ago
MAPSEC: Mobile-Agent Based Publish/Subscribe Platform for Electronic Commerce
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...
Ozgur Koray Sahingoz, Nadia Erdogan
COMPSAC
2002
IEEE
15 years 12 months ago
Object Identification in Legacy Code as a Grouping Problem
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
Houari A. Sahraoui, Petko Valtchev, Idrissa Konkob...
ISORC
2002
IEEE
15 years 11 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...