io-port.net

io-port 05770986 Robinson, Stewart (ed.); Brooks, Roger (ed.); Kotiadis, Kathy (ed.); van Der Zee, Durk-Jourke (ed.)

Conceptual modeling for discrete simulation. (English)

Boca Raton, FL: CRC Press (ISBN 978-1-4398-1037-8/hbk; 978-1-4398-1038-5/ebook). xvi, 511~p. \sterling~63.99; \$~99.95 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05338483 Pierre, Laurence; Ferro, Luca

A tractable and fast method for monitoring systemc TLM specifications. (English)

IEEE Trans. Comput. 57, No. 10, 1346-1356 (2008).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05338481 Bliudze, Simon; Sifakis, Joseph

The algebra of connectors-structuring interaction in BIP. (English)

IEEE Trans. Comput. 57, No. 10, 1315-1330 (2008).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05276397 Zaharakis, Ioannis D.; Kameas, Achilles D.

Modeling spiking neural networks. (English)

Theor. Comput. Sci. 395, No. 1, 57-76 (2008).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02178781 Klaus, Stephan; Huss, Sorin A.

Concepts for the control of the complexity of embedded system design. (German)

it Inf. Technol. 46, No. 2, 59-66 (2004).

Classification: H.1.1 H.2.4 H.2.1

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01951085 Hilaire, V.; Koukam, A.; Gruer, P.

A mechanism for dynamic role playing. (English)

Kowalczyk, Ryszard (ed.) et al., Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2592, 36-48 (2003).

Classification: I.2.1 H.4 H.5

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05475195 Gorton, Ian; Gray, Jonathan; Jelly, Innes; Chan, Toong Shoon

Reliable parallel software construction using PARSE. (English)

Concurrency Pract. Exp. 8, No. 2, 125-146 (1996).

Classification: D.2.10 D.2.2 D.1.3 D.2.4

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05474073 Bullinger, Hans Joerg; Faehnrich, Klaus Peter; Janssen, Christian

A description concept for dialog sequences in graphical user interfaces. (Ein Beschreibungskonzept fuer Dialogablaeufe bei graphischen Benutzungsschnittstellen.) (English)

Informatik, Berl. 11, No. 2, 84-93 (1996).

Classification: D.2.2 D.2.10 H.5.2

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 05471538 Juricic, D.; Krasevec, E.; Strmcnik, S.; Rak, M.

Concept of the simulation environment for prototyping design of fault detection and diagnostic systems. (English)

Simul. Pr. Theory 4, No. 5, 349-359 (1996).

Classification: I.6.3

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05474912 Leitch, R.R.; Chantler, M.J.; Shen, Q.; Coghill, G.M.

A preliminary specification methodology for model-based diagnosis. (English)

Ann. Math. Artif. Intell. 11, No. 1-4, 11-32 (1994).

Classification: I.2.8 I.6.3

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05102406 O’Connor, James; Mansour, Catharine; Turner-Harris, Jerri; Campbell, Jr., Grady H.

Reuse in Command-and-Control Systems. (English)

IEEE Software 11, No.05, 70-79 (1994).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00036188 Broy, Manfred; Streicher, Thomas

Specification and design of shared resource arbitration. (English)

Int. J. Parallel Program. 20, No.1, 1-22 (1991).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04153863 Dederichs, Frank; Weber, Rainer

Safety and liveness from a methodological point of view. (English)

Inf. Process. Lett. 36, No.1, 25-30 (1990).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05114212 Ramamoorthy, C.V.; Garg, V.; Prakash, A.

Support for Reusability in Genesis. (English)

IEEE Transactions on Software Engineering 14, No.08, 1145-1154 (1988).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04018376 Astesiano, Egidio; Reggio, Gianna

An outline of the SMoLCS approach. (English)

Mathematical models for the semantics of parallelism, Proc. Adv. Sch., Rome/Italy 1986, Lect. Notes Comput. Sci. 280, 81-113 (1987).

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 03995042 Astesiano, Egidio; Reggio, Gianna

SMoLCS-driven concurrent calculi. (English)

TAPSOFT ’87, Int. Conf. Software development, Pisa/Italy 1987, Vol. 1: Trees in algebras and programming, Lect. Notes Comput. Sci. 249, 169-201 (1987).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 00194792 Gehani, Narain (ed.); McGettrick, Andrew D. (ed.)

Software specification techniques. (English)

International Computer Science Series. Wokingham, UK etc.: Addison-Wesley Publishing Company. XII, 477 p. (1987).

Reviewer: E.E.Doberkat

17

PDF XML AMS-TeX TEXT BIBTeX

io-port 03800902 Veloso, P.A.S.

Methodical specification of abstract data types via rewriting systems. (English)

Int. J. Comput. Inform. Sci. 11, 295-323 (1982).

18

PDF XML AMS-TeX TEXT BIBTeX DOI