Sciweavers

10066 search results - page 105 / 2014
» A Technique for Information System Integration
Sort
View
ICOST
2007
Springer
16 years 10 days ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
159
Voted
CAISE
2005
Springer
15 years 11 months ago
Understanding the Requirements on Modelling Techniques
Abstract. The focus of this paper is not on the requirements of an information system to be developed, but rather on the requirements that apply to the modelling techniques used du...
Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P...
ICEIS
1999
IEEE
15 years 10 months ago
A Method for Integrating Legacy Systems within Distributed Object Architecture
: The ability of a new technology to reuse legacy systems is very important for its economic success. This paper presents a method for integrating legacy systems within distributed...
Matjaz B. Juric, Ivan Rozman, Marjan Hericko
HICSS
2006
IEEE
179views Biometrics» more  HICSS 2006»
16 years 7 days ago
e-Government Integration with Web Services and Alerts: A Case Study on an Emergency Route Advisory System in Hong Kong
Quick and efficient response to emergency is important for every city. This depends on the quality of the dispatch of emergency service to the scene and back to hospital or other ...
Cherrie W. W. Ng, Dickson K. W. Chiu
ASPDAC
2005
ACM
85views Hardware» more  ASPDAC 2005»
15 years 11 months ago
Integration of supercubing and learning in a SAT solver
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
Domagoj Babic, Alan J. Hu