955 search results - page 10 / 191 » Model Checking Operator Procedures |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
CVGIP
2011
13 years 3 months ago
2011
We propose a new approach to modelling heterogeneous objects containing internal volumetric structures with size of details orders of magnitude smaller than the overall size of th...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...