Sciweavers

8810 search results - page 208 / 1762
» Openness
Sort
View
142
Voted
SEFM
2005
IEEE
15 years 9 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...
STEP
2005
IEEE
15 years 9 months ago
Open Challenges in Ubiquitous and Net-Centric Computing Middleware
Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...
VISUALIZATION
2005
IEEE
15 years 9 months ago
Opening the Can of Worms: An Exploration Tool for Vortical Flows
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
Simon Stegmaier, Ulrich Rist, Thomas Ertl
123
Voted
MOBIHOC
2005
ACM
15 years 9 months ago
'Openness' and the public airwaves
Sascha D. Meinrath, Victor Bahl, Kenneth R. Carter...