656 search results - page 2 / 132 » A Formalization of Transition P Systems |
QSIC
2005
IEEE
14 years 2 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
SWS
2004
ACM
14 years 1 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
FATES
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
SPLC
2008
13 years 10 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
IJCAI
2007
13 years 10 months ago
2007
