1988 search results - page 209 / 398 » Engineering formal metatheory |
140
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
176
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
152
click to vote
FASE
2005
Springer
16 years 3 days ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
155
click to vote
TMRA
2005
Springer
16 years 2 days ago
2005
Springer
The development of the IRIS semantic desktop platform has provided illumination of some important issues associated with the collection and manipulation of knowledge assets that a...
183
click to vote
PASTE
2004
ACM
16 years 17 hour ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...