5630 search results - page 340 / 1126 » Computability in Specification |
122
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
There is generally no a priori trust relationship among entities interacting in pervasive computing environments which makes it necessary to establish trust from scratch. This tas...
160
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes the implementation of an attack on the Bluetooth security mechanism. Specifically, we describe a passive attack, in which an attacker can find the PIN used du...
191
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
143
click to vote
NPC
2007
Springer
16 years 29 days ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
172
click to vote
MHCI
2005
Springer
16 years 10 days ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...