Sciweavers

152 search results - page 19 / 31
» A Systematic Methodology for Developing Component Frameworks
Sort
View
96
Voted
SEKE
2005
Springer
15 years 6 months ago
Modelling Agent Knowledge with Business Rules
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
Liang Xiao 0002, Des Greer
107
Voted
CORR
2000
Springer
144views Education» more  CORR 2000»
15 years 8 days ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
82
Voted
VIZSEC
2005
Springer
15 years 6 months ago
Visualization of Automated Trust Negotiation
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
Danfeng Yao, Michael Shin, Roberto Tamassia, Willi...
104
Voted
MIAR
2008
IEEE
15 years 6 months ago
Amygdala Surface Modeling with Weighted Spherical Harmonics
Abstract. Although there are numerous publications on amygdala volumetry, so far there has not been many studies on modeling local amygdala surface shape variations in a rigorous f...
Moo K. Chung, Brendon M. Nacewicz, Shubing Wang, K...
104
Voted
RE
2004
Springer
15 years 5 months ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid