3429 search results - page 606 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
FM
2003
Springer
14 years 3 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
HPDC
1993
IEEE
14 years 2 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
EDOC
2009
IEEE
14 years 2 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
DLOG
2003
13 years 11 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...