860 search results - page 144 / 172 » A Process Algebra Based Verification of a Production System |
NIXDORF
1992
13 years 11 months ago
1992
We present some quantitative performance measurements for the computing power of Programmable Active Memories (PAM), as introduced by [2]. Based on Field Programmable Gate Array (...
CIKM
2001
Springer
14 years 6 days ago
2001
Springer
Tempus Fugit (“Time Flies”) is the first of a new generation of Personal Information Management (PIM) systems. A PIM system incorporates an electronic calendar, “to-do” li...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
A new approach of coordination of decisions in a multi site system is proposed. It is based this approach on a multi-agent concept and on the principle of distributed network of e...
383
click to vote
Book
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Mobile advertising has emerged as one of the most popular applications in mobile commerce, particularly in the form of SMS advertising campaigns. However, looking at the process o...