Sciweavers

3706 search results - page 160 / 742
» System Description: H-PILoT
Sort
View
101
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
System architecture: the context for scenario-based model synthesis
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
Jeff Kramer, Jeff Magee, Robert Chatley, Sebasti&a...
96
Voted
WSC
2000
15 years 2 months ago
Anticipatory Planning Support System
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
John R. Surdu, John M. D. Hill, Udo W. Pooch
92
Voted
ICALT
2006
IEEE
15 years 6 months ago
Trace Analysis in Instrumented Collaborative Learning Environments
Observation activity, on instrumented collective learning situations, enables participants to appropriate themselves corresponding systems in their own practice. In this paper, we...
Christophe Courtin, Stephane Talbot
ELPUB
2006
ACM
15 years 6 months ago
Vectorization of Glyphs and Their Representation in SVG for XML based Processing
This paper shows an approach for converting bitmap images of text glyphs into a vector format which is suitable for being embedded in XML representations of digitized documents. T...
Stefan Pletschacher, Marcel Eckert, Arved C. H&uum...
UML
2005
Springer
15 years 6 months ago
Ontology-Based Model Transformation
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
Stephan Roser, Bernhard Bauer