860 search results - page 82 / 172 » A Process Algebra Based Verification of a Production System |
130
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
133
click to vote
IJAOSE
2010
15 years 23 days ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
132
click to vote
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
114
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
In the context of electronic commerce, recommender systems enable merchants to assist customers in finding available products that will best satisfy their need. However, a recomm...
167
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...