11397 search results - page 170 / 2280 » A Relational Abstraction for Functions |
163
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
147
click to vote
AIEDAM
2008
15 years 7 months ago
2008
This work is aimed at establishing a common frame and understanding of function modeling (FM) for our ongoing research activities. A comparative review of the literature is perfor...
160
click to vote
ICCSA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
215
Voted
KESAMSTA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...
218
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Wikipedia, a collaborative Wiki-based encyclopedia, has become a huge phenomenon among Internet users. It covers huge number of concepts of various fields such as Arts, G...