1866 search results - page 48 / 374 » Dynamic instantiation-checking components |
84
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes a method for designing user interfaces based on ideas rooted in data communication theory. It suggests that a visual user interface should be treated as a mult...
132
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
The Globus Toolkit makes it very easy and comfortable for grid users to develop and deploy grid service. As for the security mechanism, however, only static authentication and coar...
152
Voted
GLOBECOM
2010
IEEE
15 years 4 hour ago
2010
IEEE
Abstract--Wireless networks, especially mobile ad hoc networks (MANET) and cognitive radio networks (CRN), are facing two new challenges beyond traditional random network model: op...
128
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
151
click to vote
ICS
2007
Tsinghua U.
15 years 8 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...