10038 search results - page 1667 / 2008 » Model Checking for Managers |
169
click to vote
MSWIM
2006
ACM
16 years 17 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
276
click to vote
MSWIM
2006
ACM
16 years 17 days ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
155
click to vote
FCCM
2005
IEEE
16 years 7 days ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
171
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
172
click to vote
ICAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................