1246 search results - page 42 / 250 » Recursive Timed Automata |
105
Voted
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
154
Voted
SCP
2010
14 years 7 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
112
click to vote
MCU
2004
15 years 2 months ago
2004
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
85
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
119
Voted
MFCS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we study language recognition by two-dimensional cellular automata on diļ¬erent possible neighborhoods. Since it is known that all complete neighborhoods are linearl...