1962 search results - page 126 / 393 » Software performance engineering of component-based systems |
112
Voted
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
128
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
138
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
137
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
The development of small wireless sensors and smart-phones, which include various sound, video, motion and location sensors have facilitated new pervasive applications. These perva...
151
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...