2432 search results - page 357 / 487 » Cryptographic logical relations |
165
click to vote
WCRE
2008
IEEE
16 years 19 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
161
click to vote
ECBS
2007
IEEE
16 years 18 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
180
click to vote
FBIT
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
149
click to vote
FDL
2007
IEEE
16 years 18 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
157
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— The aim of this work is to analyze interval fuzzy S-implications and interval automorphisms. Starting from any fuzzy S-implication, it is shown how to obtain an interval fuzzy ...