Sciweavers

1525 search results - page 220 / 305
» Formal Models for Communication-Based Design
Sort
View
WSC
1996
15 years 2 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
JBI
2008
169views Bioinformatics» more  JBI 2008»
15 years 6 days ago
A collaborative medical case authoring environment based on the UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Peter Haddawy, Phattanapon Rhi...
103
Voted
ATAL
2009
Springer
15 years 7 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini
107
Voted
KBSE
2008
IEEE
15 years 7 months ago
Architecting for evolvability by means of traceability and features
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
Robert Brcina, Matthias Riebisch
CNSR
2007
IEEE
158views Communications» more  CNSR 2007»
15 years 2 months ago
Bounding the Information Collection Performance of Wireless Sensor Network Routing
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
Qinghua Wang, Tingting Zhang, Stefan Pettersson