Sciweavers

5550 search results - page 170 / 1110
» Different Approaches to Proof Systems
Sort
View
IJBIDM
2006
75views more  IJBIDM 2006»
15 years 6 months ago
Web process and workflow path mining using the Multimethod approach
: Workflow Management Systems (WfMS) provide a fundamental technological infrastructure to define and manage business processes efficiently. WfMS logs contain valuable data that ca...
Jorge Cardoso, Mitja Lenic
JSW
2007
126views more  JSW 2007»
15 years 6 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
IROS
2009
IEEE
126views Robotics» more  IROS 2009»
16 years 1 months ago
Engineering self-adaptive modular robotics: A bio-inspired approach
— In nature, animal groups achieve robustness and scalability with each individual executes a simple and adaptive strategy. Inspired by this phenomenon, we propose a decentralize...
Chih-Han Yu, Radhika Nagpal
ISSADS
2005
Springer
15 years 12 months ago
Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
Wei Tan, Yushun Fan
AH
2004
Springer
15 years 12 months ago
Recent Soft Computing Approaches to User Modeling in Adaptive Hypermedia
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
Enrique Frías-Martínez, George D. Ma...