Sciweavers

875 search results - page 73 / 175
» Specification Modules for Methodical System Development
Sort
View
SIMULATION
2011
14 years 9 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
AIME
2007
Springer
15 years 8 months ago
Learning Medical Ontologies from the Web
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
David Sánchez, Antonio Moreno
127
Voted
SIGITE
2004
ACM
15 years 7 months ago
The use of MUPPETS in an introductory java programming course
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
Kevin J. Bierre, Andrew M. Phelps
159
Voted
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 2 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
ICC
2007
IEEE
160views Communications» more  ICC 2007»
15 years 8 months ago
Differential Bell-Labs Layered Space Time Architectures
Abstract—Most research on differential MIMO is based on spacetime block codes, aiming to achieve maximum transmit diversity and thus make the transmission more robust by the aid ...
Lingyang Song, Alister G. Burr, Rodrigo C. de Lama...