2540 search results - page 284 / 508 » Abstract Logics as Dialgebras |
111
Voted
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
102
click to vote
SEKE
2009
Springer
15 years 7 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...
106
click to vote
SOCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
89
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
92
Voted
ACNS
2008
Springer
15 years 7 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...