3763 search results - page 108 / 753 » Component-Based Software Engineering Processes |
131
click to vote
SIGADA
2005
Springer
15 years 10 months 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...
151
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
109
click to vote
ECIS
2003
15 years 6 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
155
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
157
click to vote
DAMON
2007
Springer
15 years 11 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...