MOLOG: A system that extends PROLOG with modal logic
New Generation Computing
Three logics for branching bisimulation
Journal of the ACM (JACM)
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Principles of the Business Rule Approach
Principles of the Business Rule Approach
Business Process Management: The Third Wave
Business Process Management: The Third Wave
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Word level predicate abstraction and refinement for verifying RTL verilog
Proceedings of the 42nd annual Design Automation Conference
Bottom-Up Extraction and Trust-Based Refinement of Ontology Metadata
IEEE Transactions on Knowledge and Data Engineering
Model Driven Development with NORMA
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Consistency between e3-value models and activity diagrams in a multi-perspective development method
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Hi-index | 0.00 |
Today, the term extended enterprise (EE) is typically meant to designate any collection of organizations sharing a common set of goals. In this broad sense, an enterprise can be a whole corporation, a government organization, or a network of geographically distributed entities. EE applications support digitalization of traditional business processes, adding new processes enabled by e-business technologies (e.g. large scale Customer Relationship Management).