Sciweavers

6016 search results - page 1068 / 1204
» The semantics of graphical languages
Sort
View
EUROPAR
1998
Springer
15 years 8 months ago
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
Neophytos Neophytou, Paraskevas Evripidou
ATAL
2007
Springer
15 years 8 months ago
A methodology for 3D electronic institutions
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
DEBS
2007
ACM
15 years 8 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
ADC
2004
Springer
141views Database» more  ADC 2004»
15 years 8 months ago
Conflict Scheduling of Transactions on XML Documents
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...
Stijn Dekeyser, Jan Hidders
AMAST
2006
Springer
15 years 8 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
« Prev « First page 1068 / 1204 Last » Next »