5863 search results - page 839 / 1173 » On Model-Checking of P Systems |
184
click to vote
ICNS
2006
IEEE
16 years 23 days ago
2006
IEEE
Service Level Agreement Management in the telecommunications domain consists of a set of mechanisms for provisioning and monitoring services according to requirements given by eit...
205
click to vote
ICSM
2006
IEEE
16 years 23 days ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
184
click to vote
ISWC
2006
IEEE
16 years 22 days ago
2006
IEEE
Blind and visually-impaired people cannot access essential information in the form of written text in our environment (e.g., on restaurant menus, street signs, door labels, produc...
204
click to vote
SEW
2006
IEEE
16 years 22 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
202
click to vote
WOWMOM
2006
ACM
16 years 20 days ago
2006
ACM
A wireless sensor network typically consists of a dense deployment of sensor nodes to achieve higher resolution and better network coverage. A dense network also increases the fau...