3906 search results - page 600 / 782 » From grids to places |
177
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
199
click to vote
CSREASAM
2009
15 years 7 months ago
2009
Virtually all modern organizations have embedded information systems and networking technologies into their core business processes as a means to increase operational efficiency, i...
183
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
137
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
The popularity of micro-blogging has made generalpurpose information sharing a pervasive phenomenon. This trend is now impacting location sharing applications (LSAs) such that use...
172
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...