314 search results - page 15 / 63 » Cubical token systems |
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
SIGMOD
2010
ACM
13 years 8 months ago
2010
ACM
An increasing amount of personal data is automatically gathered on servers by administrations, hospitals and private companies while several security surveys highlight the failure...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
In this work we present a hardware-accelerated direct volume rendering system for visualizing multivariate wave functions in semiconducting quantum dot (QD) simulations. The simul...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
ALGORITHMICA
2011
13 years 3 months ago
2011
We show that computing the crossing number and the odd crossing number of a graph with a given rotation system is NP-complete. As a consequence we can show that many of the well-k...