1583 search results - page 290 / 317 » Feature Interaction Detection in the Feature Language Extens... |
122
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
115
click to vote
FTDCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
116
Voted
APN
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
138
click to vote
SMA
1995
ACM
15 years 5 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
124
click to vote
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...