Sciweavers

6508 search results - page 178 / 1302
» Development and the Baldwin Effect
Sort
View
WER
2001
Springer
15 years 11 months ago
A Non-Functional Approach for COTS Components Trading
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...
Luis Iribarne, Antonio Vallecillo, Carina Alves, J...
IPPS
2000
IEEE
15 years 11 months ago
Solving Problems on Parallel Computers by Cellular Programming
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
Domenico Talia
APLAS
2007
ACM
15 years 10 months ago
Type-Based Verification of Correspondence Assertions for Communication Protocols
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
Daisuke Kikuchi, Naoki Kobayashi
COMPSAC
2004
IEEE
15 years 10 months ago
Priority Assessment of Software Requirements from Multiple Perspectives
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements eli...
Xiaoqing Frank Liu, Chandra Sekhar Veera, Yan Sun,...
ECTEL
2006
Springer
15 years 10 months ago
Personalization Services in Argumentation Tools: a Catalyst for Learning
Argumentation is considered as an essential element for effective learning since it enables learners to develop their points of view and refine their knowledge. Our aim being to fa...
Christina E. Evangelou, Nikos Karousos, Manolis Tz...