Sciweavers

3282 search results - page 391 / 657
» Rapid Application Development Using Software Factories
Sort
View
FASE
2009
Springer
16 years 1 months ago
A Formal Connection between Security Automata and JML Annotations
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
Marieke Huisman, Alejandro Tamalet
CORR
2002
Springer
117views Education» more  CORR 2002»
15 years 6 months ago
Contextual Normalization Applied to Aircraft Gas Turbine Engine Diagnosis
Diagnosing faults in aircraft gas turbine engines is a complex problem. It involves several tasks, including rapid and accurate interpretation of patterns in engine sensor data. W...
Peter D. Turney, Michael Halasz
EDBTW
2004
Springer
15 years 12 months ago
The Case for Mobile OLAP
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...
Andreas S. Maniatis
GPCE
2003
Springer
15 years 11 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
WWW
2009
ACM
16 years 7 months ago
Web 2.0: blind to an accessible new world
With the advent of Web 2.0 technologies, websites have evolved from static pages to dynamic, interactive Web-based applications with the ability to replicate common desktop functi...
Joshua M. Hailpern, Loretta Guarino Reid, Richard ...