336 search results - page 15 / 68 » A General Framework for Analysing System Properties in Platf... |
WAIM
2010
Springer
13 years 6 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
GG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
SAC
2003
ACM
14 years 29 days ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
ECIS
2000
13 years 9 months ago
2000
This paper discusses nature of action research, and its particular strengths in disciplines such as information systems (IS). However concerns are raised about the quality and rigo...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...