3828 search results - page 132 / 766 » Proof-Based System Engineering Using a Virtual System Model |
125
Voted
CONCURRENCY
2010
15 years 5 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
137
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
163
click to vote
CN
1998
15 years 4 months ago
1998
We introduce a method for predicting the network traffic that will be generated by Collaborative Virtual Environment applications with varying numbers of participants. Statistical...
137
Voted
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technolog...
125
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...