Sciweavers

6530 search results - page 443 / 1306
» Application Integration
Sort
View
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
16 years 1 months ago
Multidimensional Analysis of RFID Data in Logistics
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
Henning Baars, Xuanpu Sun
185
Voted
IROS
2009
IEEE
142views Robotics» more  IROS 2009»
16 years 1 months ago
ISROBOTNET: A testbed for sensor and robot network systems
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
Marco Barbosa, Alexandre Bernardino, Dario Figueir...
INFOSCALE
2007
ACM
15 years 8 months ago
A flexible mandatory access control policy for XML databases
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...
Hong Zhu, Renchao Jin, Kevin Lü
NFM
2011
335views Formal Methods» more  NFM 2011»
15 years 1 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
15 years 9 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...