279 search results - page 41 / 56 » Testing for Refinement in CSP |
DASFAA
2005
IEEE
15 years 5 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
NIME
2005
Springer
15 years 5 months ago
2005
Springer
In the Expression Synthesis Project (ESP), we propose a driving interface for expression synthesis. ESP aims to provide a compelling metaphor for expressive performance so as to m...
DAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Most e-mail readers spend a non-trivial amount of time regularly deleting junk e-mail (spam) messages, even as an expanding volume of such e-mail occupies server storage ...
SOFSEM
2004
Springer
15 years 5 months ago
2004
Springer
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
126
click to vote
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Small companies in the software product business risk rework and market failure due to shortcomings in integrating a strategic perspective into management of product development. ...