1312 search results - page 248 / 263 » Embedded contract languages |
ICALP
1989
Springer
15 years 3 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
113
click to vote
EDO
2006
Springer
15 years 3 months ago
2006
Springer
Reflective middleware has been proposed as an effective way to enhance adaptability of component-oriented middleware architectures. To be effectively adaptable, the implementation...
105
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
115
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
110
click to vote
OWLED
2008
15 years 1 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...