Sciweavers

490 search results - page 42 / 98
» Operations on Records
Sort
View
SOSE
2008
IEEE
14 years 2 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
HICSS
2007
IEEE
112views Biometrics» more  HICSS 2007»
14 years 2 months ago
The Next Generation of Monitoring and Control Systems Using Synchronized Sampling Technology and Multifunctional IEDs
This paper discusses implementation of the next generation solution for power system control and monitoring. The new design is based on the use of synchronized sampling technology...
Mladen Kezunovic
DFG
2007
Springer
14 years 1 months ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel
CLUSTER
2006
IEEE
14 years 1 months ago
Architecture and Implementation of Sockets Direct Protocol in Windows
Sockets Direct Protocol (SDP) is a byte stream protocol that utilizes the capabilities of the InfiniBand fabric to transparently achieve performance gains for existing socket-base...
Dror Goldenberg, Tzachi Dar, Gilad Shainer
CSFW
2006
IEEE
14 years 1 months ago
Noninterference in the Presence of Non-Opaque Pointers
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
Daniel Hedin, David Sands