Sciweavers

3045 search results - page 56 / 609
» Formal Approaches to Software Architecture
Sort
View
ITCC
2003
IEEE
15 years 4 months ago
An Open Software Architecture for Structured Data Elaboration and Transcoding
In this paper, we propose a software architecture model for the development of elaboration/transcoding modules for structured data. We define a flexible implementation approach ...
Luca Vollero, Giulio Iannello, Francesco Delfino
ISIM
2007
15 years 4 days ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý
ISORC
1998
IEEE
15 years 3 months ago
An Approach to Distributed Component-Based Real-Time Application Software Development
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
Stephen S. Yau, Bing Xia
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 1 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
FORTE
2007
15 years 5 days ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...