4612 search results - page 693 / 923 » More Communications |
223
click to vote
COCOA
2009
Springer
15 years 11 months ago
2009
Springer
Online social network has developed significantly in recent years as a medium of communicating, sharing and disseminating information and spreading influence. Most of current resea...
185
click to vote
EENERGY
2010
15 years 11 months ago
2010
Information and communication technology (ICT) consumes energy, but is also an important means of conserving energy. Conventionally, it has done so by optimizing the performance o...
196
click to vote
PERCOM
2010
ACM
15 years 11 months ago
2010
ACM
—While there is more to context than location, localization and positioning must continue to be improved. Location-aware applications, such as Google Latitude, are enjoying great...
200
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
214
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...