Sciweavers

4217 search results - page 46 / 844
» Computational indistinguishability logic
Sort
View
ISTA
2003
14 years 11 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko
IGPL
2000
82views more  IGPL 2000»
14 years 9 months ago
The Computational Complexity of Hybrid Temporal Logics
Carlos Areces, Patrick Blackburn, Maarten Marx