7835 search results - page 346 / 1567 » Software are Processes Too |
172
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
194
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
214
click to vote
ICSR
2011
Springer
14 years 10 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
207
click to vote
IPPS
2005
IEEE
16 years 10 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
148
click to vote
GI
2005
Springer
16 years 8 days ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...