5550 search results - page 294 / 1110 » Different Approaches to Proof Systems |
147
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
183
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing cyber-physical systems with high efficiency, adaptability, autonomy, reliability and usability is a challenging task. In this paper, we focus on minimizing networkwide ...
162
Voted
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
197
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
169
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...