Sciweavers

1726 search results - page 136 / 346
» Traits: Tools and Methodology
Sort
View
96
Voted
WWW
2002
ACM
15 years 11 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
15 years 11 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
ICSE
2005
IEEE-ACM
15 years 11 months ago
Clinical requirements engineering
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
Stephen Fickas
CANDC
2009
ACM
15 years 5 months ago
Creativity factor evaluation: towards a standardized survey metric for creativity support
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...
Erin A. Carroll, Celine Latulipe, Richard Fung, Mi...
AGILEDC
2008
IEEE
15 years 5 months ago
Utilizing Digital Tabletops in Collocated Agile Planning Meetings
In agile software development, planning meetings play a pivotal role in establishing a concrete understanding of customers’ requirements. Using tools to enhance the effectivenes...
Yaser Ghanam, Xin Wang, Frank Maurer