7434 search results - page 214 / 1487 » Still |
192
click to vote
QEST
2007
IEEE
16 years 13 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
185
click to vote
SAINT
2007
IEEE
16 years 13 days ago
2007
IEEE
While by now feasible solutions to protect privacy for complex ubiquitous applications are available, very small devices, called context transponders (CTP) still lack resources to...
157
click to vote
SEFM
2007
IEEE
16 years 13 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
145
click to vote
SMC
2007
IEEE
16 years 12 days ago
2007
IEEE
— This paper predicts that gaze and fractal dimension of images may offer some of measurability to when humans look at still or moving images expanding before one’s eyes such a...
165
click to vote
SOCA
2007
IEEE
16 years 12 days ago
2007
IEEE
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...