Sciweavers

6931 search results - page 1052 / 1387
» Context and Design Agents
Sort
View
SIMUTOOLS
2008
15 years 8 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon
SPLC
2008
15 years 8 months ago
A Marriage of MDD and Early Aspects in Software Product Line Development
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
Thaís Vasconcelos Batista, M. Cecilia Basta...
GEOINFO
2004
15 years 8 months ago
Mediated Geographic Web Feature Services
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
Mehdi Essid, Omar Boucelma
IADIS
2004
15 years 8 months ago
New Perspectives on Teaching and Learning Software Systems Development in Large Groups - Telecollaboration
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...
Zenon Chaczko, David J. Davis, Craig Scott
MIXER
2004
15 years 8 months ago
FixIt: An Approach towards Assisting Workers in Diagnosing Machine Malfunctions
Augmented Reality (AR) is a newly emerging user interface paradigm that is currently under rapid development. AR is still in its infancy. Only very few cases exist, in which AR te...
Gudrun Klinker, Hesam Najafi, Tobias Sielhorst, Fa...
« Prev « First page 1052 / 1387 Last » Next »