352 search results - page 60 / 71 » Extended Timed Automata and Time Petri Nets |
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
IPCCC
2005
IEEE
14 years 3 months ago
2005
IEEE
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
WOSP
2005
ACM
14 years 3 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
ACNS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
AP2PC
2003
Springer
14 years 2 months ago
2003
Springer
Open trading environments involve a type of peer-to-peer computing characterised by well-defined interaction protocols that are used by the traders and sometimes updated dynamicall...