Sciweavers

2788 search results - page 158 / 558
» Use of Data Recharging for Personal Information Environment
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
JIPS
2006
110views more  JIPS 2006»
15 years 6 months ago
Monitoring Systems for Embedded Equipment in Ubiquitous Environments
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
Ji-Hye Bae, Hee-Kuk Kang, Yoon-Young Park, Jung-Ho...
SIGMOD
2010
ACM
250views Database» more  SIGMOD 2010»
15 years 6 months ago
Expressive and flexible access to web-extracted data: a keyword-based structured query language
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
Jeffrey Pound, Ihab F. Ilyas, Grant E. Weddell
HPDC
2003
IEEE
15 years 12 months ago
Flexible Information Discovery in Decentralized Distributed Systems
The ability to efficiently discover information using partial knowledge (for example keywords, attributes or ranges) is important in large, decentralized, resource sharing distri...
Cristina Schmidt, Manish Parashar
IEAAIE
2007
Springer
16 years 21 days ago
Generating Cartoon-Style Summary of Daily Life with Multimedia Mobile Devices
Mobile devices are treasure boxes of personal information containing user’s context, personal schedule, diary, short messages, photos, and videos. Also, user’s usage informatio...
Sung-Bae Cho, Kyung-Joong Kim, Keum-Sung Hwang