Sciweavers

1620 search results - page 30 / 324
» Use Case Level Pointcuts
Sort
View
IPPS
2005
IEEE
15 years 8 months ago
A Case Study on Pattern-Based Systems for High Performance Computational Biology
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
Weiguo Liu, Bertil Schmidt
115
Voted
QEST
2009
IEEE
15 years 9 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
CC
2005
Springer
106views System Software» more  CC 2005»
15 years 8 months ago
Source-Level Debugging for Multiple Languages with Modest Programming Effort
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
Sukyoung Ryu, Norman Ramsey
152
Voted
AGENTS
2001
Springer
15 years 7 months ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
108
Voted
FLAIRS
2001
15 years 3 months ago
Syntactic-Level Ontology Integration Rules for E-Commerce
Electronic marketplaces, or e-commerce portals, bring together many online suppliers and buyers. Each individual participant can potentially use his own format to represent the pr...
Borys Omelayenko