Sciweavers

511 search results - page 2 / 103
» Computational aspects of the FLBC framework
Sort
View
AIL
2008
101views more  AIL 2008»
13 years 5 months ago
A computational framework for institutional agency
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P
Guido Governatori, Antonino Rotolo
AOSD
2006
ACM
13 years 9 months ago
Reflections on aspects and configurable protocols
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
Matti A. Hiltunen, François Taïani, Ri...
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 6 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
CAISE
2006
Springer
13 years 9 months ago
Classification and Ontological Aspects in Software Engineering
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
María del Pilar Romay, Carlos E. Cuesta
IPPS
2007
IEEE
13 years 11 months ago
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...