Sciweavers

48 search results - page 6 / 10
» Designing a Maturity Model for Software Startup Ecosystems
Sort
View
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 2 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
80
Voted
MASCOTS
2003
14 years 11 months ago
Creating Realistic BGP Models
Modeling the Internet infrastructure is a challenging endeavor. Complex interactions between protocols, increasing traffic volumes and the irregular structure of the Internet lea...
Xenofontas A. Dimitropoulos, George F. Riley
SEKE
2007
Springer
15 years 4 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
FDG
2009
ACM
15 years 4 months ago
Relating cognitive models of computer games to user evaluations of entertainment
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
Paolo Piselli, Mark Claypool, James Doyle
CONTEXT
1999
Springer
15 years 2 months ago
Contexts, Domains, and Software
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
Alfs T. Berztiss