4737 search results - page 113 / 948 » The LOGIC negotiation model |
JUCS
2010
13 years 7 months ago
2010
: Protection of personal data in the Internet is already a challenge today. Users have to actively look up privacy policies of websites and decide whether they can live with the te...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...
SPLC
2007
13 years 10 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
JOLLI
2002
13 years 8 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
DATESO
2006
13 years 10 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...