1888 search results - page 172 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
131
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
149
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
141
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
139
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
138
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Multimedia, especially video, is widely used in educational applications. More and more universities and corporations now provide videotaped lectures online for knowledge sharing ...