284 search results - page 13 / 57 » Formal Foundation for Pattern-Based Modelling |
101
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
107
Voted
IWFM
1998
15 years 1 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
137
click to vote
DBSEC
1996
15 years 1 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
94
Voted
ENTCS
2008
15 years 19 days ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
104
click to vote
IWANN
2005
Springer
15 years 6 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...