Sciweavers

561 search results - page 28 / 113
» VSE: Controlling the Complexity in Formal Software Developme...
Sort
View
COMPSAC
2009
IEEE
15 years 8 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
106
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
A case study: demands on component-based development
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
Ivica Crnkovic, Magnus Larsson
148
Voted
TII
2010
146views Education» more  TII 2010»
14 years 8 months ago
A Flexible Design Flow for Software IP Binding in FPGA
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...
Michael A. Gora, Abhranil Maiti, Patrick Schaumont
AOSE
2007
Springer
15 years 8 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
141
Voted
ISCAS
2011
IEEE
288views Hardware» more  ISCAS 2011»
14 years 5 months ago
Complexity-constrained rate-distortion optimization for h.264/avc video coding
In order to enable real-time software-based video encoding, in this work we optimized the prediction stage of an H.264 video encoder, in the complexity sense. Thus, besides lookin...
Tiago A. da Fonseca, Ricardo L. de Queiroz