Sciweavers

2435 search results - page 194 / 487
» GPSS - 40 years of development
Sort
View
IFIP
1994
Springer
15 years 10 months ago
Trends in Environmental Information Processing
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
Franz Josef Radermacher, Wolf-Fritz Riekert, Bernd...
LICS
1990
IEEE
15 years 10 months ago
Model-Checking for Real-Time Systems
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
Rajeev Alur, Costas Courcoubetis, David L. Dill
WCNC
2010
IEEE
15 years 10 months ago
Planning of Relay Station Locations in IEEE 802.16 (WiMAX) Networks
— Broadband wireless access networks have received tremendous attention in terms of research and development in the recent years. There have also been test networks deployed in m...
Zakhia G. Abichar, Ahmed E. Kamal, J. Morris Chang
AH
2006
Springer
15 years 10 months ago
Towards Formalising Adaptive Behaviour Within the Scope of E-Learning
As there are a lot of approaches and projects within the area of adaptive e-learning, several theoretical models have been developed in the last 15 years. Against this background, ...
Felix Mödritscher
APSEC
2004
IEEE
15 years 10 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz