880 search results - page 54 / 176 » The evolution of technology within a simple computer model |
FM
2003
Springer
15 years 2 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
80
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
: Agent-based modelling and simulation offers a new and exciting way of understanding the world of work. In this paper we describe the development of an agent-based simulation mode...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
This paper describes an algorithm for determining if an event occurs persistently within an interval where the interval is periodic but the event is not. The goal of the algorithm...
105
click to vote
IJMTM
2010
14 years 7 months ago
2010
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
112
click to vote
CN
2004
14 years 9 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...