Sciweavers

14306 search results - page 710 / 2862
» Database System Concepts
Sort
View
ICCSA
2009
Springer
16 years 2 months ago
Towards Location-Based Real-Time Monitoring Systems in u-LBS
Recently, ubiquitous location-based services (u-LBS) has been utilized in a variety of practical and mission-critical applications such as security services, personalization servic...
MoonBae Song, Hyunseung Choo
DATE
2008
IEEE
110views Hardware» more  DATE 2008»
16 years 1 months ago
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...
Lars Bauer, Muhammad Shafique, Stephanie Kreutz, J...
IROS
2006
IEEE
130views Robotics» more  IROS 2006»
16 years 1 months ago
A Novel Distributed Telerobotic System for Construction Machines Based on Modules Synchronization
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
Eric Rohmer, Kazuya Yoshida, E. Nakano
EMSOFT
2005
Springer
16 years 29 days ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
CP
2004
Springer
16 years 25 days ago
Constraint Propagation as a Proof System
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
Albert Atserias, Phokion G. Kolaitis, Moshe Y. Var...