2004 search results - page 345 / 401 » Comparison of Model Checking Tools for Information Systems |
IJACTAICIT
2010
14 years 9 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
122
click to vote
TVCG
2008
14 years 11 months ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
ICCSA
2009
Springer
15 years 6 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
103
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...