1407 search results - page 100 / 282 » Using Use Cases in Executable Z |
115
Voted
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
166
click to vote
AOSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
145
click to vote
PTS
2003
15 years 5 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
113
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
133
click to vote
VLDB
1989
ACM
15 years 8 months ago
1989
ACM
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...