2273 search results - page 360 / 455 » On the Expressiveness and Complexity of ATL |
PVLDB
2010
14 years 8 months ago
2010
Applications typically have some local understanding of a database schema, a virtual database that may differ significantly from the actual schema of the data where it is stored...
SCP
2010
14 years 8 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
129
click to vote
SIGMETRICS
2010
ACM
14 years 8 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
VTC
2010
IEEE
14 years 8 months ago
2010
IEEE
—We derive an adaptive power control method for a collaborative network utilizing partner selection that aims to minimize the frame error rate (FER). We model a decodeand-forward...
DLOG
2010
14 years 8 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...