Sciweavers

20655 search results - page 305 / 4131
» Exploring Software Systems
Sort
View
ECIS
2003
15 years 8 months ago
A framework for analyzing software business models
In this study we explore the concept of business model and its essential elements in software business. There are no rigorous previous definitions or descriptions of the term busi...
Risto Rajala, Matti Rossi, Virpi Kristiina Tuunain...
CHI
2010
ACM
16 years 1 months ago
How to support designers in getting hold of the immaterial material of software
When designing novel GUI controls, interaction designers are challenged by the “immaterial” materiality of the digital domain; they lack tools that effectively support a refle...
Fatih Kursat Ozenc, Miso Kim, John Zimmerman, Step...
FMCAD
2009
Springer
16 years 1 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...
CASES
2006
ACM
16 years 20 days ago
Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
Ankush Varma, Muhammad Yaqub Afridi, Akin Akturk, ...