15416 search results - page 309 / 3084 » Embeddings of Computable Structures |
260
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
143
click to vote
JSC
2002
15 years 6 months ago
2002
This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of...
176
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
200
click to vote
CLIN
2000
15 years 8 months ago
2000
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...
192
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...