221 search results - page 9 / 45 » Heyting Algebras and Formal Languages |
185
click to vote
JSS
2010
15 years 25 days ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
174
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
160
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
144
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
191
click to vote
CN
1999
15 years 5 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...