271 search results - page 43 / 55 » Logics from Galois connections |
CCS
2005
ACM
14 years 3 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
GRID
2005
Springer
14 years 3 months ago
2005
Springer
— In a grid-computing environment, resource selection and scheduling depend on the network topology connecting the computation nodes. This paper presents a method to hierarchical...
MDM
2004
Springer
14 years 3 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...