Sciweavers

3483 search results - page 334 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
ICSE
2012
IEEE-ACM
13 years 9 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
Spreadsheet modelling for solving combinatorial problems: The vendor selection problem
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
Pandelis G. Ipsilandis
WSC
2007
15 years 9 months ago
Applying CSPI reference models for factory planning
This paper investigates the applicability of the CSPI reference models in different factory planning scenarios. These scenarios are taken from real industrial use cases. The CSPI ...
Steffen Straßburger, Thomas Schulze, Marco L...
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 6 months ago
Enhanced Prolog Remote Predicate Call Protocol
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
Alin Suciu, Kalman Pusztai, Andrei Diaconu
ISCOPE
1999
Springer
15 years 11 months ago
Using Object-Oriented Techniques for Realizing Parallel Architectural Skeletons
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
Dhrubajyoti Goswami, Ajit Singh, Bruno R. Preiss