12107 search results - page 299 / 2422 » Software That Can Think |
156
click to vote
SIGADA
2005
Springer
16 years 4 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
158
click to vote
OSS
2009
Springer
16 years 1 months ago
2009
Springer
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
189
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
185
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
171
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...