Sciweavers

510 search results - page 57 / 102
» An IDE for software development using tabular expressions
Sort
View
ICSE
2005
IEEE-ACM
15 years 12 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
BMCBI
2006
126views more  BMCBI 2006»
14 years 12 months ago
Genomes as geography: using GIS technology to build interactive genome feature maps
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
Mary E. Dolan, Constance C. Holden, M. Kate Beard,...
EUROMICRO
2009
IEEE
15 years 3 months ago
Automated Feature Model-Based Generation of Refinement Transformations
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Lucia Kapová, Thomas Goldschmidt
ICOODB
2010
171views Database» more  ICOODB 2010»
14 years 9 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
ICRE
2000
IEEE
15 years 3 months ago
A Lightweight Approach to Consistency of Scenarios and Class Models
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
Martin Glinz