1676 search results - page 186 / 336 » Describing Software Architecture with UML |
184
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
172
Voted
COMPSAC
2005
IEEE
16 years 18 days ago
2005
IEEE
This paper describes our research into the application of fault injection to Simple Object Access Protocol (SOAP) based Service Oriented-Architectures (SOA). We show that our prev...
145
Voted
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
178
Voted
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
190
click to vote
SE
2007
15 years 8 months ago
2007
: Open source software has gained a lot of well-deserved attention during the last few years. Eclipse is one of the most successful open source communities providing an open develo...