1178 search results - page 197 / 236 » A Methodological Approach to Developing Model Transformation... |
106
click to vote
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
JOT
2008
14 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
COMPSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
IFM
2004
Springer
15 years 2 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...