Sciweavers

2191 search results - page 57 / 439
» Aspect - A Problem For MT
Sort
View
114
Voted
IFM
2009
Springer
15 years 10 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
133
Voted
ECOOP
2006
Springer
15 years 7 months ago
Statement Annotations for Fine-Grained Advising
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
Marc Eaddy, Alfred V. Aho
DFG
2003
Springer
15 years 9 months ago
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
Abstract. The new millennium is characterized by speed and distribution in every aspect of most business and organization undertaking. Organizations are challenged to bring ideas a...
Wil M. P. van der Aalst
101
Voted
ANOR
2007
80views more  ANOR 2007»
15 years 3 months ago
The minimum shift design problem
The min-SHIFT DESIGN problem (MSD) is an important scheduling problem that needs to be solved in many industrial contexts. The issue is to find a minimum number of shifts and the...
Luca Di Gaspero, Johannes Gärtner, Guy Kortsa...
152
Voted
MAAMAW
1994
Springer
15 years 7 months ago
Towards a Theory of Cooperative Problem Solving
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
Michael Wooldridge, Nicholas R. Jennings