Sciweavers

1229 search results - page 54 / 246
» Reflections on the Design of a Specification language
Sort
View
PERVASIVE
2010
Springer
13 years 10 months ago
Specification and Verification of Complex Location Events with Panoramic
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
Evan Welbourne, Magdalena Balazinska, Gaetano Borr...
ICFP
2010
ACM
13 years 9 months ago
Experience report: growing programming languages for beginning students
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
Marcus Crestani, Michael Sperber
AIME
1997
Springer
14 years 10 days ago
A Task-Specific Ontology for the Application and Critiquing of Time-Oriented Clinical Guidelines
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
Yuval Shahar, Silvia Miksch, Peter Johnson
BMCBI
2006
115views more  BMCBI 2006»
13 years 8 months ago
SimArray: a user-friendly and user-configurable microarray design tool
Background: Microarrays were first developed to assess gene expression but are now also used to map protein-binding sites and to assess allelic variation between individuals. Rega...
Richard P. Auburn, Roslin R. Russell, Bettina Fisc...
ECOOP
2006
Springer
13 years 12 months ago
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
Javier Cámara, Carlos Canal, Javier Cubo, J...