2629 search results - page 177 / 526 » complex 2009 |
104
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
121
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
Understanding and maintaining the structure of large ontologies is a cognitively demanding task. Visualizations are commonly used as a cognitive aid for presenting large ontologie...
116
click to vote
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...