Sciweavers

2364 search results - page 64 / 473
» An Engine for Computing Well-Founded Models
Sort
View
147
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore
134
Voted
WSC
2001
15 years 5 months ago
Teaching manufacturing systems simulation in a computer aided teaching studio
A computer aided teaching studio provides a unique environment for teaching an introductory simulation course to manufacturing engineers. Each meeting can consist of an appropriat...
Charles R. Standridge
156
Voted
JUCS
2000
102views more  JUCS 2000»
15 years 3 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
135
Voted
DAGSTUHL
2007
15 years 5 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
137
Voted
EXPERT
2006
156views more  EXPERT 2006»
15 years 3 months ago
Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
Bruce M. McLaren