6155 search results - page 909 / 1231 » A language for multiple models of computation |
150
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
190
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
135
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
164
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...
177
click to vote
DIS
2007
Springer
16 years 26 days ago
2007
Springer
We propose an unsupervised method for detecting spam documents from Web page data, based on equivalence relations on strings. We propose 3 measures for quantifying the alienness (...