10038 search results - page 1967 / 2008 » Model Checking for Managers |
223
click to vote
GCC
2003
Springer
16 years 16 days ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
230
Voted
CSCW
2010
ACM
16 years 13 days ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...
216
click to vote
CLOUD
2010
ACM
16 years 12 days ago
2010
ACM
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
231
Voted
APSEC
2002
IEEE
16 years 8 days ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
243
click to vote
COOPIS
2002
IEEE
16 years 8 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...