Sciweavers

4476 search results - page 517 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
CSCWD
2005
Springer
16 years 12 days ago
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
Marco Aurélio Gerosa, Mariano Gomes Pimente...
SIGSOFT
2007
ACM
16 years 7 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
AGTIVE
2007
Springer
16 years 1 months ago
Combining Quality Assurance and Model Transformations in Business-Driven Development
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
Jana Koehler, Thomas Gschwind, Jochen Malte Kü...
SOCO
2002
Springer
15 years 6 months ago
fXOR fuzzy logic networks
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
Witold Pedrycz, Giancarlo Succi
FDL
2007
IEEE
16 years 1 months ago
Modelling Alternatives for Cycle Approximate Bus TLMs
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
Martin Radetzki, Rauf Salimi Khaligh