3828 search results - page 134 / 766 » Proof-Based System Engineering Using a Virtual System Model |
150
click to vote
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
142
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
127
click to vote
WETICE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
174
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
116
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...