1760 search results - page 234 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
AOSD
2008
ACM
14 years 12 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
The world today is characterised by the proliferation of information sources available through media such as the WWW, databases, semi-structured files (e.g. XML documents), etc. N...
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
Distributed real-time and embedded (DRE) applications often possess stringent quality of service (QoS) requirements. Designing middleware for DRE applications poses several challe...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...