852 search results - page 137 / 171 » entcs 2010 |
110
click to vote
ENTCS
2006
15 years 12 days ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
ENTCS
2006
15 years 12 days ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
112
click to vote
ENTCS
2006
15 years 12 days ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
93
Voted
ENTCS
2006
15 years 12 days ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
107
Voted
ENTCS
2006
15 years 12 days ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...