366 search results - page 11 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
CMSB
2004
Springer
14 years 3 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
MICAI
2010
Springer
13 years 5 months ago
2010
Springer
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...
ASWC
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We propose a conceptual model for semantic search and implement it in security access control. The model provides security access control to extend the search capabilitie...
SBMF
2010
Springer
13 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
ICWS
2009
IEEE
14 years 3 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...