1492 search results - page 224 / 299 » Integrative, model-based engineering design |
131
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
119
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
143
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
128
click to vote
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
137
Voted
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...