Sciweavers

15777 search results - page 2683 / 3156
» Software Engineering
Sort
View
178
Voted
EJIS
2007
115views more  EJIS 2007»
15 years 6 months ago
Towards agent-oriented model-driven architecture
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
Liang Xiao 0002, Des Greer
208
Voted
FAC
2007
170views more  FAC 2007»
15 years 6 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
182
Voted
SIGCSE
2008
ACM
136views Education» more  SIGCSE 2008»
15 years 6 months ago
A new paradigm for programming competitions
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
James F. Bowring
177
Voted
KAIS
2007
112views more  KAIS 2007»
15 years 6 months ago
The pairwise attribute noise detection algorithm
Analyzing the quality of data prior to constructing data mining models is emerging as an important issue. Algorithms for identifying noise in a given data set can provide a good me...
Jason Van Hulse, Taghi M. Khoshgoftaar, Haiying Hu...
191
Voted
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
« Prev « First page 2683 / 3156 Last » Next »