3763 search results - page 613 / 753 » Component-Based Software Engineering Processes |
130
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
139
Voted
AVI
2006
15 years 4 months ago
2006
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
164
Voted
AOSD
2011
ACM
14 years 9 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
115
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
131
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...