728 search results - page 126 / 146 » A Logical View of Choreography |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
SEUS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
DAWAK
2004
Springer
14 years 1 months ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
EWSA
2004
Springer
14 years 1 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...