593 search results - page 65 / 119 » tools 2011 |
160
click to vote
ESWA
2011
14 years 11 months ago
2011
Business process models are becoming available in large numbers due to their popular use in many industrial applications such as enterprise and quality engineering projects. On th...
151
click to vote
MOC
2011
14 years 10 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
190
click to vote
SCN
2011
Springer
14 years 10 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
147
click to vote
VLDB
2011
ACM
14 years 10 months ago
2011
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...
145
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Existing enterprise calendaring systems have suffered from problems like rigidity, lack of transparency, and poor integration with social networks. We present the system design an...