1086 search results - page 100 / 218 » Event Structures with Symmetry |
APN
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
ACTA
2007
13 years 10 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
AEI
2007
13 years 10 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
ICWE
2010
Springer
14 years 3 months ago
2010
Springer
Thousands of users are streamlining their Web interactions through user scripts using special weavers such as Greasemonkey. Thousands of programmers are releasing their scripts in ...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
We describe a system for synchronization and organization of user-contributed content from live music events. We start with a set of short video clips taken at a single event by m...