20126 search results - page 3339 / 4026 » Timed Transition Systems |
191
click to vote
PATMOS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
204
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
198
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We have recently proposed a novel receiver for Ultra-Wide-band Impulse-Radio communication in bursty applications like Wireless Sensor Networks. The receiver, based on the princ...
229
click to vote
MOBISYS
2010
ACM
15 years 10 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
235
click to vote
ACMICEC
2008
ACM
15 years 9 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...