8766 search results - page 1187 / 1754 » Functional logic programming |
156
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
156
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Redundancy Addition and Removal (RAR) is a restructuring technique used in the synthesis and optimization of logic designs. It can remove an existing target wire and add an alte...
168
click to vote
WCRE
2008
IEEE
16 years 24 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...
155
Voted
ACNS
2008
Springer
16 years 24 days ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
134
click to vote
FUZZIEEE
2007
IEEE
16 years 23 days ago
2007
IEEE
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...