Sciweavers

1760 search results - page 184 / 352
» The Focus of Requirements Engineering in Workflow Applicatio...
Sort
View
103
Voted
ICN
2007
Springer
15 years 4 months ago
Beyond Broadcast--A Hybrid Testbed for Mobile TV 2.0 Services
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
Raimund Schatz, Norbert Jordan, Siegfried Wagner
ITNG
2010
IEEE
15 years 3 months ago
ACAT: A Web-Based Software Tool to Facilitate Course Assessment for ABET Accreditation
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
Eugene Essa, Andrew Dittrich, Sergiu M. Dascalu, F...
79
Voted
ISCA
2005
IEEE
131views Hardware» more  ISCA 2005»
15 years 3 months ago
BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging
Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code. To assist developers, we propose the BugNet architecture to continuousl...
Satish Narayanasamy, Gilles Pokam, Brad Calder
CSEE
2000
Springer
15 years 2 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
90
Voted
SEFM
2005
IEEE
15 years 3 months ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain