1078 search results - page 10 / 216 » Modelling and Verifying of e-Commerce Systems |
100
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
102
click to vote
TCBB
2008
14 years 11 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
111
click to vote
WOA
2010
14 years 9 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
111
click to vote
FASE
2010
Springer
14 years 9 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...