Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Suche: Modular Java

Treffer 181 - 200 von 5.100

181

S-MOJOHON: Towards a semantic architecture for message exchanging
Lobato, Daniel Correa ; Freitas Bulcao Neto, Renato de ; Barbosa, Matheus Qualio ; et al.
International Conference on Semantic Computing (ICSC 2007) Semantic Computing, 2007. ICSC 2007. International Conference on. :759-766 Sep, 2007

Konferenz
Zu den Favoriten
182

Suggesting an SOA Framework for Modular Virtual Learning Environments: Comparing Two Implementation Approaches
Fredrik Paulsson ; Mikael Berglund
IGI Global, International Journal of Web-Based Learning and Teaching Technologies (IJWLTT). 3(1):43-57

Fachzeitschrift
Zu den Favoriten
183

TREBLE: Fast Software Updates by Creating an Equilibrium in an Active Software Ecosystem of Globally Distributed Stakeholders
Yim, Keun Soo ; Malchev, Iliyan ; Hsieh, Andrew ; et al.

Computer Science - Softw... Computer Science - Crypt...
Report
Zu den Favoriten
184

Semiautomatic Quantification of Angiogenesis
Boettcher, Markus ; Gloe, Torsten ; de Wit, Cor
Journal of Surgical Research; Jul2010, Vol. 162 Issue 1, p132-139, 8p

NEOVASCULARIZATION CANCER research CAPILLARIES AORTA MEDICAL microscopy COMPUTER software …
Fachzeitschrift
Zu den Favoriten
185

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)
Skalka, Christian ; Smith, Scott ; Van Horn, David
ENTCS: Electronic Notes in Theoretical Computer Science. May2005, Vol. 131, p111-124. 14p.

Java programming languag... Programming languages Computer science Computer programming
Zeitschrift
Zu den Favoriten
186

Agentic Specification Generator for Move Programs
Fu, Yu-Fu ; Xu, Meng ; Kim, Taesoo

Software Engineering Artificial Intelligence Cryptography and Securit... Programming Languages
Report
Zu den Favoriten
187

PathDB: A system for evaluating regular path queries
García, Roberto ; Angles, Renzo ; Rojas, Vicente ; et al.

Databases
Report
Zu den Favoriten
188

A Random Bag Preserving Product Operation
Schellekens, Michel
ENTCS: Electronic Notes in Theoretical Computer Science. Jan2009, Vol. 225, p341-360. 20p.

Data structures Algorithms Programming languages Linear programming Java programming languag... Computer science
Zeitschrift
Zu den Favoriten
189

Modular Proof Principles for Parameterised Concretizations.
Barthe, Gilles ; Grégoire, Benjamin ; Huisman, Marieke ; et al.
Construction & Analysis of Safe, Secure & Interoperable Smart Devices (9783540336891). 2006, p138-154. 17p.

Buch
Zu den Favoriten
190

Kaveri: Delivering the Indus Java Program Slicer to Eclipse.
Cerioli, Maura ; Jayaraman, Ganeshan ; Ranganath, Venkatesh Prasad ; et al.
Fundamental Approaches to Software Engineering (9783540254201). 2005, p269-272. 4p.

Buch
Zu den Favoriten
191

TARENTe: an experimental tool for extracting and exploring Web aggregates
Ghitalla, F. ; Diemert, E. ; Maussang, C. ; et al.
Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004. Information and communication technologies Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on. :627-628 2004

Konferenz
Zu den Favoriten
192

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
Clausen, Christian Skafte Beck ; Jørgensen, Bo Nørregaard ; Ma, Zheng Grace
In: Energy Informatics. EI.A 2023. Lecture Notes in Computer Science, vol 14467

Computer Science - Softw... Electrical Engineering a...
Report
Zu den Favoriten
193

Modular ILE key stop on road to Java.
Callaghan, Dennis
Midrange Systems. 02/09/99, Vol. 12 Issue 2, p43. 2p.

Zeitschrift
Zu den Favoriten
194

Modular Specification of Hybrid Systems in Charon.
Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; et al.
Hybrid Systems: Computation & Control (9783540672593). 2000, p6-19. 14p.

Buch
Zu den Favoriten
195

WiiDoRF: Decision and recording framework for educational labs centered on the Nintendo Wiimote
Zhang, Simon ; Overholt, Mark ; Gerard, Juanita ; et al.
2010 IEEE Frontiers in Education Conference (FIE) Frontiers in Education Conference (FIE), 2010 IEEE. :S1F-1-S1F-6 Oct, 2010

Konferenz
Zu den Favoriten
196

Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
Rewriting, Computation & Proof. 2007, p235-258. 24p.

Buch
Zu den Favoriten
197

Specification and Verification of Encapsulation in Java Programs.
Steffen, Martin ; Zavattaro, Gianluigi ; Roth, Andreas
Formal Methods for Open Object-Based Distributed Systems. 2005, p195-210. 16p.

Buch
Zu den Favoriten
198

Mastering Java 11
Dr. Edward Lavieri ; Dr. Edward Lavieri

E-Ressource
Zu den Favoriten
199

Controlling the granularity of automatic parallel programs.
Fonseca, Alcides ; Cabral, Bruno
Journal of Computational Science. Nov2016 Part 3, Vol. 17, p620-629. 10p.

Parallel programs (Compu... Compilers (Computer prog... Estimation theory Java programming languag... Mathematical optimizatio...
Zeitschrift
Zu den Favoriten
200

DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
Zhou, Wei ; Xu, Xiong ; Wei, Changzheng ; et al.

Computer Science - Distr...
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter