1788 search results - page 182 / 358 » Model Theory for Process Algebra |
116
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
134
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
118
click to vote
ADBIS
1998
Springer
15 years 8 months ago
1998
Springer
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
143
click to vote
ENTCS
2006
15 years 3 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...