2276 search results - page 269 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
146
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
121
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
158
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
145
click to vote
CIDR
2003
15 years 5 months ago
2003
Traditional database system architectures face a rapidly evolving operating environment, where millions of users store and access terabytes of data. In order to cope with increasi...
128
click to vote
IWSSD
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...