Sciweavers

1493 search results - page 119 / 299
» The Design of a Parallel Graphics Interface
Sort
View
150
Voted
DSRT
2008
IEEE
15 years 10 months ago
Interfacing and Coordination for a DEVS Simulation Protocol Standard
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
Khaldoon Al-Zoubi, Gabriel A. Wainer
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 7 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
153
Voted
GI
2004
Springer
15 years 9 months ago
Transforming XML Schemas into Java Swing GUIs
: When designing an XML-based Web Content Management System (WCMS), one usually has to define and maintain two separate entities just for the editorial part: the database schemes ...
Patrick Lay, Stefan Lüttringhaus-Kappel
139
Voted
CPE
2000
Springer
369views Hardware» more  CPE 2000»
15 years 7 months ago
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
Armin Zimmermann, Jörn Freiheit, Reinhard Ger...
122
Voted
CACM
2008
121views more  CACM 2008»
15 years 2 months ago
Polaris: a system for query, analysis, and visualization of multidimensional databases
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...
Chris Stolte, Diane Tang, Pat Hanrahan