Sciweavers

284 search results - page 10 / 57
» Modularity of Completeness Revisited
Sort
View
ARITH
2005
IEEE
14 years 3 months ago
Arithmetic Operations in the Polynomial Modular Number System
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
Jean-Claude Bajard, Laurent Imbert, Thomas Plantar...
ICSE
2005
IEEE-ACM
14 years 10 months ago
Aspect-oriented programming and modular reasoning
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
Gregor Kiczales, Mira Mezini
SERA
2009
Springer
14 years 4 months ago
Inline Visualization of Concerns
—Code modularization provides benefits throughout the software life cycle; however, the presence of crosscutting concerns (CCCs) in software hinders its complete modularization....
Nalin Saigal, Jay Ligatti
EDBTW
2006
Springer
14 years 1 months ago
Unsatisfiability Reasoning in ORM Conceptual Schemes
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
Mustafa Jarrar, Stijn Heymans
OTM
2009
Springer
14 years 4 months ago
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
Rania Khalaf, Dieter Roller, Frank Leymann