2794 search results - page 110 / 559 » A New Architecture for Automated Modelling |
101
click to vote
ICSEA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
129
click to vote
OTM
2005
Springer
15 years 4 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
APSCC
2009
IEEE
15 years 6 months ago
2009
IEEE
SOA have been deployed as a mean to offer a better flexibility, to increase efficiency through reuse of services and also to improve interoperability by providing new opportunit...
BTW
2005
Springer
15 years 4 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
85
Voted
SIGCOMM
2009
ACM
15 years 5 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...