339 search results - page 20 / 68 » Semantics and Execution of Domain Specific Models |
67
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
102
click to vote
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
110
click to vote
APCCM
2006
15 years 1 months ago
2006
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
120
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
SWAP
2008
15 years 1 months ago
2008
SPCoop is a nationwide framework for supporting service interoperability in the exercise and application of Italian government policies. The very core of this framework lies in the...