3239 search results - page 480 / 648 » A Logical Process Calculus |
124
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
131
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
131
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
139
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
111
Voted
ACNS
2008
Springer
15 years 9 months 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...