1398 search results - page 85 / 280 » Ensuring Properties of Interaction Systems |
137
click to vote
ICEBE
2007
IEEE
15 years 4 months ago
2007
IEEE
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
146
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
153
click to vote
SI3D
2009
ACM
15 years 11 months ago
2009
ACM
Given a data layout of a large walkthrough scene, we present a novel and simple spatial hierarchy on the disk-pages of the layout that has notable advantages over a conventional s...
132
click to vote
JCPHY
2011
14 years 7 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
144
click to vote
AMAST
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...