5034 search results - page 207 / 1007 » A Content-Centric Development Process Model |
147
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
123
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
138
Voted
PDPTA
2004
15 years 5 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
142
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
— this paper discusses a conceptual framework for the requirements engineering process for e-school applications offering a service to the information society. The e-school appli...
127
Voted
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...