Sciweavers

685 search results - page 51 / 137
» An integrated environment for designing object-oriented ente...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
DSVIS
2008
Springer
13 years 11 months ago
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums
This work aims at developing appropriate Mixed Interaction Systems (MIS) for navigating 3D environments in a science centre context. Due to the wide range and multi-disciplinary de...
Emmanuel Dubois, Cédric Bach, Philippe Trui...
CSCWD
2007
Springer
14 years 3 months ago
An Integration Life Cycle for Semantic Web Services Composition
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
Muhammad Ahtisham Aslam, Jun Shen, Sören Auer...
APSEC
2006
IEEE
14 years 3 months ago
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumo...
SOFSEM
2005
Springer
14 years 2 months ago
Modeling Data Integration with Updateable Object Views
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankie...