*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 162

2

Interaction nets: programming language design and implementation.
Abubakar Hassan ; Ian Mackie ; Shinya Sato
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.. 10

*Academic Journal*
3

Interaction nets: programming language design and implementation
Hassan, Abubakar ; Mackie, Ian ; Sato, Shinya

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences 7. Clean energy
*Academic Journal*
4

An Implementation of Nested Pattern Matching in Interaction Nets
Hassan, Abubakar ; Jiresch, Eugen ; Sato, Shinya
EPTCS 21, 2010, pp. 13-25

Computer Science - Logic... Computer Science - Progr... Computer Science - Softw...
*Report*
5

*This result is not displayed to guests*

7

*This result is not displayed to guests*

8

A Specification Paradigm for the Design and Implementation of Tangible User Interfaces.
Shaer, Orit ; Jacob, Robert J. K.
ACM Transactions on Computer-Human Interaction (TOCHI); Nov2009, Vol. 16 Issue 4, p20-20:39, 39p, 2 Black and White Photographs, 13 Diagrams, 7 Charts

HUMAN-computer interacti... USER interfaces PROGRAMMING languages COMPUTER software develo... COMPUTER software develo... SOFTWARE engineering
*Academic Journal*
9

Development of parametric design simulation software for face gear. (English)
YI Lili ; ZHOU Yuting ; XIAO Yuliang
Experimental Technology & Management; Jun2025, Vol. 42 Issue 6, p159-164, 6p

*Academic Journal*
10

*This result is not displayed to guests*

11

Implementation of quark confinement and retarded interactions algorithms for Chaos Many-Body Engine.
Grossu, I.V. ; Beşliu, C. ; Jipa, Al. ; et al.
Computer Physics Communications. Jun2019, Vol. 239, p157-160. 4p.

QUARK confinement PARTONS COLLISIONS (Nuclear phys... GREEDY algorithms VIRIAL coefficients COMPUTATIONAL physics
*Periodical*
12

Engineering a BPEL orchestration engine as a multi-agent system
Viroli, Mirko ; Denti, Enrico ; Ricci, Alessandro
Science of Computer Programming. May2007, Vol. 66 Issue 3, p226-245. 20p.

COMPUTER programming COMPUTER science researc... BPEL (Computer program l... PROGRAMMING languages INTELLIGENT agents
*Academic Journal*
13

An architecture for distributed applications on the Internet: overview of Microsoft's .NET platform
Proceedings International Parallel and Distributed Processing Symposium Parallel and distributed processing Parallel and Distributed Processing Symposium, 2003. Proceedings. International. :7 pp. 2003

*Conference*
14

Parsing nonlinear languages
Tucci, M. ; Vitiello, G. ; Costagliola, G.
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 20(9):720-739 Sep, 1994

*Academic Journal*
15

Dynamic hypermedia presentations: a model and its implementation
Yung-Chen Hung
Proceedings of ICC'97 - International Conference on Communications Communications Communications, 1997. ICC '97 Montreal, Towards the Knowledge Millennium. 1997 IEEE International Conference on. 2:805-810 vol.2 1997

*Conference*
16

Automating parallel implementation of neural learning algorithms.
Rana OF
Publisher: World Scientific Pub. Co Country of Publication: Singapore NLM ID: 9100527 Publication Model: Print Cited Medium: Print ISSN: 0129-0657 (Print) Linking ISSN: 01290657 NLM ISO Abbreviation: Int J Neural Syst Subsets: MEDLINE

Artificial Intelligence Computers Models, Neurological Programming Languages Algorithms Neural Networks, Compute...
*Academic Journal*
17

Verification and validation of UML 2.0 sequence diagrams using colored Petri nets
Mozaffari, Maryam ; Harounabadi, Ali
2011 IEEE 3rd International Conference on Communication Software and Networks Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on. :117-121 May, 2011

*Conference*
18

Goal-Oriented Modelling for Virtual Assistants
Leung, Jonathan ; Shen, Zhiqi ; Miao, Chunyan
2019 IEEE International Conference on Agents (ICA) Agents (ICA), 2019 IEEE International Conference on. :73-76 Oct, 2019

*Conference*
19

Control logic generation for machining systems using Petri net formalism
Euisu Park ; Tilbury, T.M. ; Khargonekar, P.P.
Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0 Systems, Man, and Cybernetics Systems, Man, and Cybernetics, 2000 IEEE International Conference on. 5:3201-3206 vol.5 2000

*Conference*
20

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets
Xu, D. ; Kent, M. ; Thomas, L. ; et al.
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 64(9):2490-2505 Sep, 2015

*Academic Journal*

*Filter*