Sciweavers

4890 search results - page 789 / 978
» From system specifications to component behavioral models
Sort
View
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
14 years 2 months ago
Improving simulation-based verification by means of formal methods
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...
Görschwin Fey, Rolf Drechsler
TSMC
2008
125views more  TSMC 2008»
13 years 10 months ago
A Satisficing Approach to Aircraft Conflict Resolution
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...
James K. Archibald, Jared C. Hill, N. A. Jepsen, W...
WWW
2011
ACM
13 years 5 months ago
Dynamics of bidding in a P2P lending service: effects of herding and predicting loan success
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...
Simla Ceyhan, Xiaolin Shi, Jure Leskovec
CCS
2007
ACM
14 years 5 months ago
Managing RBAC states with transitive relations
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 ...
Chaoyi Pang, David P. Hansen, Anthony J. Maeder
ECOOP
2006
Springer
14 years 2 months ago
Demeter Interfaces: Adaptive Programming Without Surprises
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...
Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieber...