Sciweavers

9974 search results - page 76 / 1995
» Software Interconnection Models
Sort
View
ICSE
2007
IEEE-ACM
16 years 1 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ISQED
2005
IEEE
98views Hardware» more  ISQED 2005»
15 years 7 months ago
A More Effective CEFF
Precise chip-level timing requires careful modeling of the interaction between logic drivers and interconnect. Existing static-timing analysis methodologies generate models for dr...
Sani R. Nassif, Zhuo Li
CAISE
2007
Springer
15 years 7 months ago
Analyzing the Business of Software: A Modelling Technique for Software Supply Networks
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...
Slinger Jansen, Anthony Finkelstein, Sjaak Brinkke...
ECIS
2003
15 years 3 months ago
The impact of software patents on the structure of the software market - a simulation model
The issue of software patents is widely discussed in Europe today. The standard economic rationale for patents is to protect potential innovators from imitation, which ultimately ...
Norman Hoppen, Daniel Beimborn, Wolfgang Köni...
WETICE
1998
IEEE
15 years 6 months ago
Software Agents: Process Models and User Profiles in Distributed Software Development
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
Norbert Glaser, Jean-Claude Derniame