4 search results - page 1 / 1 » Feedback, trace and fixed-point semantics |
66
Voted
ITA
2002
14 years 10 months ago
2002
95
Voted
HASE
2007
IEEE
15 years 2 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
81
Voted
ACL
2007
14 years 11 months ago
2007
Deriving the polarity and strength of opinions is an important research topic, attracting significant attention over the last few years. In this work, to measure the strength and...
95
Voted
AOSD
2008
ACM
15 years 7 days ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...