1588 search results - page 203 / 318 » On the Logic of Constitutive Rules |
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
As various services are provided as web applications, attacks against web applications constitute a serious problem. Intrusion Detection Systems (IDSes) are one solution, however,...
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The d...
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
103
click to vote
IISWC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Data mining constitutes an important class of scientific and commercial applications. Recent advances in data extraction techniques have created vast data sets, which ...