Sciweavers

364 search results - page 53 / 73
» On Tools for Modeling High-Performance Embedded Systems
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 1 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
RSP
1998
IEEE
162views Control Systems» more  RSP 1998»
15 years 1 months ago
The STEP Standard as an Approach for Design and Prototyping
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
Alain Plantec, Vincent Ribaud
EV
2006
78views Hardware» more  EV 2006»
14 years 11 months ago
How E-Voting Technology Challenges Traditional Concepts of Citizenship: an Analysis of French Voting Rituals
: This paper describes the direct relationship between the perception of citizenship and its material expression, with emphasis on how changing expression obliges a rethink of the ...
Laurence Monnoyer-Smith

Source Code
2556views
16 years 7 months ago
Blender: Open Source 3D Computer Animation Suite
"Blender is a free 3D graphics application. It can be used for modeling, UV unwrapping, texturing, rigging, water simulations, skinning, animating, rendering, particle and oth...
IJDST
2011
117views more  IJDST 2011»
14 years 1 months ago
Integrating Production Automation Expert Knowledge Across Engineering Domains
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...