Sciweavers

350 search results - page 47 / 70
» Data Integration: a Challenging ASP Application
Sort
View
CCS
2009
ACM
14 years 4 months ago
Towards secure dataflow processing in open distributed systems
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
Juan Du, Wei Wei, Xiaohui Gu, Ting Yu
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 4 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
ER
2004
Springer
104views Database» more  ER 2004»
14 years 3 months ago
Enterprise Modeling with Conceptual XML
An open challenge is to integrate XML and conceptual modeling in order to satisfy large-scale enterprise needs. Because enterprises typically have many data sources using differe...
David W. Embley, Stephen W. Liddle, Reema Al-Kamha
ADB
1994
311views Database» more  ADB 1994»
14 years 2 months ago
A Personal and Portable Database Server: the CQL Card
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...
Pierre Paradinas, Jean-Jacques Vandewalle
TMC
2010
190views more  TMC 2010»
13 years 8 months ago
SAMAC: A Cross-Layer Communication Protocol for Sensor Networks with Sectored Antennas
—Wireless sensor networks have been used to gather data and information in many diverse application settings. The capacity of such networks remains a fundamental obstacle toward ...
Emad Felemban, Serdar Vural, Robert Murawski, Eyle...