2373 search results - page 229 / 475 » The Design of the Zinc Modelling Language |
187
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
158
click to vote
FLAIRS
2004
15 years 8 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...
176
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
147
click to vote
ICESS
2007
Springer
16 years 22 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
171
click to vote
IFIP
2007
Springer
16 years 22 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...