4890 search results - page 789 / 978 » From system specifications to component behavioral models |
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
TSMC
2008
13 years 10 months ago
2008
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
WWW
2011
ACM
13 years 5 months ago
2011
ACM
Online peer-to-peer (P2P) lending services are a new type of social platform that enables individuals borrow and lend money directly from one to another. In this paper, we study t...
CCS
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
ECOOP
2006
Springer
14 years 2 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...