Sciweavers

9182 search results - page 156 / 1837
» Requirements for Requirements Management Tools
Sort
View
115
Voted
APVIS
2009
15 years 4 months ago
Optimized data transfer for time-dependent, GPU-based glyphs
Particle-based simulations are a popular tool for researchers in various sciences. In combination with the availability of ever larger COTS clusters and the consequently increasin...
Sebastian Grottel, Guido Reina, Thomas Ertl
139
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 4 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
SERP
2003
15 years 5 months ago
Measures for Mobile Users
— Software measures are important to evaluate software properties like complexity, reusability, maintainability, effort required, etc. Collecting such data is difficult because o...
Alberto Sillitti, Andrea Janes, Giancarlo Succi, T...
129
Voted
MKWI
2008
92views Business» more  MKWI 2008»
15 years 5 months ago
Towards a Standardized Task Management
: Business processes are increasingly controlled by IT-systems automatically, but they still consist of many tasks that have to be performed by people. Despite an appropriate IT-in...
Tobias Unger, Thomas Bauer
134
Voted
SC
2009
ACM
15 years 10 months ago
Building the PolarGrid portal using web 2.0 and OpenSocial
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
Zhenhua Guo, Raminderjeet Singh, Marlon E. Pierce