Sciweavers

2131 search results - page 182 / 427
» Stochastic Process Creation
Sort
View
MKM
2005
Springer
15 years 9 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...
CSR
2010
Springer
15 years 9 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
ITICSE
2000
ACM
15 years 8 months ago
A suite of WWW-based tools for advanced course management
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
Kurt Nørmark
ELPUB
1999
ACM
15 years 8 months ago
Integrated Electronic Publishing Environment. A Case Study
The state-of-the-art of electronic publishing in science and its nearest perspectives with the emphasis on technical issues are discussed. The discussion is based on the real-life...
Vitaly A. Nechitailenko
ECLIPSE
2005
ACM
15 years 6 months ago
eAssignment: a case for EMF
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
Marcel Bruch, Christoph Bockisch, Thorsten Sch&aum...