Sciweavers

1253 search results - page 151 / 251
» A Case Study of Requirements Elicitation Process with Change...
Sort
View
MKM
2005
Springer
15 years 12 months ago
Computational Origami of a Morley's Triangle
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 11 months ago
Software Decelerators
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
Eric Keller, Gordon J. Brebner, Philip James-Roxby
APSEC
2004
IEEE
15 years 10 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
IJCAT
2008
69views more  IJCAT 2008»
15 years 6 months ago
A knowledge hierarchy model for adaptive multi-agent systems
: Adaptivity in software is important since business processes, business rules and business terms constantly evolve. A radical solution is described that makes use of the inherent ...
Liang Xiao 0002, Des Greer
CLUSTER
2007
IEEE
15 years 6 months ago
Predictive performance modelling of parallel component compositions
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
Lei Zhao, Stephen A. Jarvis