5457 search results - page 829 / 1092 » Software Component Independence |
184
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
172
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
151
Voted
FMCAD
2007
Springer
16 years 27 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
189
click to vote
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
193
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...