Sciweavers

4360 search results - page 529 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
JCS
2002
115views more  JCS 2002»
15 years 6 months ago
Panoptis: Intrusion Detection Using a Domain-Specific Language
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
Diomidis Spinellis, Dimitris Gritzalis
WCRE
1999
IEEE
15 years 11 months ago
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
JSC
2006
122views more  JSC 2006»
15 years 6 months ago
An automated prover for Zermelo-Fraenkel set theory in Theorema
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
Wolfgang Windsteiger
ICETET
2009
IEEE
15 years 4 months ago
Face Description with Local Invariant Features: Application to Face Recognition
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...
Sanjay A. Pardeshi, S. N. Talbar
ATAL
2005
Springer
16 years 11 days ago
Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper)
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
Pablo Noriega