Sciweavers

3030 search results - page 569 / 606
» A SOA-Based Architecture Framework
Sort
View
HICSS
2000
IEEE
147views Biometrics» more  HICSS 2000»
14 years 2 months ago
ViCA - A WWW based Tool for Visualizing Project Status
Easy-to-access and up-to-date project status feedback is an important aspect of effective project management. When project data is collected, a common problem is how to present th...
Pekka Kilponen, Jari Vanhanen
CAV
2010
Springer
225views Hardware» more  CAV 2010»
14 years 1 months ago
Merit: An Interpolating Model-Checker
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
Nicolas Caniart
DASFAA
2009
IEEE
193views Database» more  DASFAA 2009»
14 years 27 days ago
Encryption over Semi-trusted Database
—Database security has become a vital issue in modern Web applications. Critical business data in databases is an evident target for attack. Therefore, ensuring the confidentiali...
Hasan Kadhem, Toshiyuki Amagasa, Hiroyuki Kitagawa
FLAIRS
2007
13 years 12 months ago
Explaining Task Processing in Cognitive Assistants that Learn
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
Deborah L. McGuinness, Alyssa Glass, Michael Wolve...
AUSDM
2008
Springer
221views Data Mining» more  AUSDM 2008»
13 years 11 months ago
Indoor Location Prediction Using Multiple Wireless Received Signal Strengths
This paper presents a framework for indoor location prediction system using multiple wireless signals available freely in public or office spaces. We first proabstract architectur...
Kha Tran, Dinh Q. Phung, Brett Adams, Svetha Venka...