5639 search results - page 478 / 1128 » Timed Abstract Non-interference |
139
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
145
click to vote
APVIS
2008
15 years 6 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
153
click to vote
MSV
2007
15 years 6 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
154
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
133
click to vote
SIROCCO
2004
15 years 6 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...