Treffer 101 - 120 von 1.288

101

Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone
Tchoupé Tchendji, Maurice ; Université de Dschang [Cameroun] = University of Dschang [Cameroon] (UDs)
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées. :217-233

XML Cross-fertilization Functional Programming Object Programming Cooperative Edition Parsers
Zeitschrift
Zu den Favoriten
102

A Novel Cost Model of XML Serialization
Imre, G. ; Kaszó, M. ; Levendovszky, T. ; et al.
ENTCS: Electronic Notes in Theoretical Computer Science. Feb2010, Vol. 261, p147-162. 16p.

XML (Extensible Markup L... Simulation methods & mod... Java programming languag... Computer software System analysis Web services
Zeitschrift
Zu den Favoriten
103

Object-oriented constraint programming with J.CP
RINGWELSKI, Georg
Advances in artificial intelligence (Mérida, 22-26 April 2002)Lecture notes in computer science. :194-203

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
104

How Do Message-Driven Beans Work in EJB 2.0?
Rao, Surlu
Dr. Dobb's Journal: Software Tools for the Professional Programmer. Feb2002, Vol. 27 Issue 2, p94. 3p. 1 Diagram.

COMPUTER software JAVA programming languag... SYNCHRONOUS data transmi...
Zeitschrift
Zu den Favoriten
105

J2EE MEETS Web services.
Parikh, Ash ; Pradhan, Rajesh ; Jiang, Sean
Application Development Trends. Oct2003, Vol. 10 Issue 10, p45-49. 5p. 4 Diagrams.

Web services Java programming languag... Programming languages
Zeitschrift
Zu den Favoriten
106

On implementing high level concurrency in Java
ITZSTEIN, G. Stewart ; JASIUNAS, Mark
ACSAC 2003 : advances in computer systems architecture (Aizu-Wakamatsu, 23-26 September 2003)Lecture notes in computer science. :151-165

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
107

Model Checking Real Time Java Using Java PathFinder.
Peled, Doron A. ; Tsay, Yih-Kuen ; Lindstrom, Gary ; et al.
Automated Technology for Verification & Analysis. 2005, p444-456. 13p.

Buch
Zu den Favoriten
108

Model checking multithreaded programs with asynchronous atomic methods
SEN, Koushik ; VISWANATHAN, Mahesh
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :300-314

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
109

A comparison of the asynchronous Transfer of Control features in Ada and the Real-Time Specification for Java
BROSGOL, Benjamin M ; WELLINGS, Andy
Reliable software technologies - Ada-Europe 2003 (Toulouse, 16-20 June 2003)Lecture notes in computer science. :113-128

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
110

Asynchronous Iterative Algorithms for Computational Science on the Grid: Three Case Studies.
Daydé, Michel ; Dongarra, Jack J. ; Hernández, Vicente ; et al.
High Performance Computing for Computational Science - VECPAR 2004. 2005, p302-314. 13p.

Buch
Zu den Favoriten
111

DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process
MITTAL, Saurabh ; RISCO-MARTIN, José L ; ZEIGLER, Bernard P
Simulation (San Diego, Calif.). 85(7):419-450

Control theory, operatio... Automatique, recherche o... Electronics Electronique Computer science Informatique
Fachzeitschrift
Zu den Favoriten
112

A multilayer peer-to-peer framework for distributed synchronous collaboration : Collaboration in a mobile world
OSAIS, Yahya ; ABDALA, Souhail ; MATRAWY, Ashraf
IEEE internet computing. 10(6):33-41

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
113

Transparent proxies for Java futures
PRATIKAKIS, Polyvios ; SPACCO, Jaime ; HICKS, Michael
Proceedings of the 2004 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04)ACM SIGPLAN notices. 39(10):206-223

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
114

A comparison of the mutual exclusion features in ada and the real-time specification for Java
BROSGOL, Benjamin M
Reliable software technology - Ada-Europe 2005 (York, 20-24 June 2005)Lecture notes in computer science. :129-143

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
115

An approach to asynchronous object-oriented parallel and distributed computing on wide-area systems
DI SANTO, M ; FRATTOLILLO, F ; RUSSO, W ; et al.
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :536-543

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
116

基于区块链和星际文件系统的种植业农产品溯源模型.
陈丹丹 ; 张立杰 ; 蒋双丰 ; et al.
Smart Agriculture. Dec2023, Vol. 5 Issue 4, p68-78. 11p.

Fachzeitschrift
Zu den Favoriten
117

A GALS Language for Dynamic Distributed and Reactive Programs
Malik, Avinash ; Girault, Alain ; Salcic, Zoran ; et al.
ACSD, Jun 2011, Newcastle, United Kingdom

Newcastle, United Kingdo... GALS; dynamic reconfigur... ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.2: Language Classifi... D.3.2.1: Concurrent, dis...
Konferenz
Zu den Favoriten
118

Towards a machine-checked Java Specification Book
REUS, B ; HEIN, T
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)Lecture notes in computer science. :480-497

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Konferenz
Zu den Favoriten
119

Explicitly distributed AOP using AWED
Benavides Navarro, Luis Daniel ; Südholt, Mario ; Vanderperren, Wim ; et al.
5th international conference on Aspect-Oriented Software Development. :51-62

[INFO.INFO-SE]Computer S... Software Engineering [cs... [INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Konferenz
Zu den Favoriten
120

The New Metrics of Online Success.
Knorr, Eric
InfoWorld. 4/2/2007, Vol. 29 Issue 14, p18-18. 1/3p.

WEBSITES INTERNET programming JAVA programming languag... COMPUTER network resourc...
Zeitschrift
Zu den Favoriten

Filter