1678 search results - page 92 / 336 » An ASM Specification of C |
NOMS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper discusses the aims, objectives and early deliverables from the OpenOSS project which has been set up with the sponsorship of a number of Telecommunications Service Prov...
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents an innovative approach to personalize on-line content to the needs of individual learners. We use a regular educational environment, the BlackboardTM Learning ...
FPL
2005
Springer
14 years 3 months ago
2005
Springer
The paper analyses and compares alternative iterative and recursive implementations of FPGA circuits for various problems. Two types of recursive calls have been examined, namely ...
EVOW
2004
Springer
14 years 3 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...