2060 search results - page 301 / 412 » The Composition of Event-B Models |
137
click to vote
AIED
2007
Springer
16 years 19 days ago
2007
Springer
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
158
click to vote
ECAL
2007
Springer
16 years 18 days ago
2007
Springer
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
180
click to vote
OTM
2007
Springer
16 years 17 days ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
149
click to vote
VAMOS
2007
Springer
16 years 16 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
155
click to vote
SCW
2006
IEEE
16 years 13 days ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...