1541 search results - page 249 / 309 » Tools and Techniques for Model Checking Networked Programs |
114
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
102
Voted
APWEB
2008
Springer
15 years 2 months ago
2008
Springer
Recent models have introduced the notion of dimensions and hierarchies in social networks. These models motivate the mining of small world graphs under a new perspective. We exempl...
68
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
Interpersonal interaction plays an important role in organizational dynamics, and understanding these interaction networks is a key issue for any organization, since these can be ...
101
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
135
click to vote
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...