1418 search results - page 94 / 284 » The Dynamic Complexity of Formal Languages |
143
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
115
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
129
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
176
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
147
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...