Sciweavers

5451 search results - page 738 / 1091
» Typed Operational Semantics
Sort
View
FUZZIEEE
2007
IEEE
16 years 29 days ago
Consistency of Reciprocal Preference Relations
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...
Francisco Chiclana, Enrique Herrera-Viedma, Sergio...
ICON
2007
IEEE
16 years 28 days ago
Definition and Implementation of Logical Function Blocks Compliant to ForCES Specification
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
Ligang Dong, Fenggen Jia, Weiming Wang
IPPS
2007
IEEE
16 years 28 days ago
Splice: A Standardized Peripheral Logic and Interface Creation Engine
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...
Justin Thiel, Ron K. Cytron
WETICE
2007
IEEE
16 years 27 days ago
An Architectural Approach to Apply the Supervisor/Worker Collaboration Pattern to Nomadic Workspaces
Although information technology is advancing, computer-based systems do not yet ideally support collaborative activities of mobile users in nomadic workspaces. Mobile information ...
Manfred Bortenschlager, Sigi Reich, Gabriele Kotsi...
RULEML
2007
Springer
16 years 22 days ago
Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
Thomas Beer, Jörg Rasinger, Wolfram Höpk...