Sciweavers

21379 search results - page 582 / 4276
» The profession of IT - Evolutionary system development
Sort
View
181
Voted
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
IAT
2009
IEEE
16 years 2 months ago
Methodologies for Self-Organising Systems: A SPEM Approach
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
Mariachiara Puviani, Giovanna Di Marzo Serugendo, ...
183
Voted
ICALT
2007
IEEE
16 years 1 months ago
Visualizing Narrative Structures and Learning Style Information in Personalized e-Learning Systems
This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
Fionán Peter Williams, Owen Conlan
ICALT
2007
IEEE
16 years 1 months ago
AirTransNote: An Instant Note Sharing and Reproducing System to Support Students Learning
We developed AirTransNote, an interactive learning system augmented by digital pens and PDAs for each student. All notes written on regular paper sheets are immediately digitized ...
Motoki Miura, Susumu Kunifuji, Yasuyuki Sakamoto
175
Voted
ICNSC
2007
IEEE
16 years 1 months ago
Optimization and Control of a Pendulum-driven Cart-pole System
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...
Yang Liu, Hongnian Yu, Brian Burrows