Sciweavers

11022 search results - page 59 / 2205
» Programming Systems for Autonomy
Sort
View
116
Voted
ICDE
1991
IEEE
103views Database» more  ICDE 1991»
15 years 6 months ago
On Serializability of Multidatabase Transactions Through Forced Local Conflicts
The maindi culty in enforcing globalserializabilityin a multidatabase environment lies in resolving indirect (transitive) con icts between multidatabase transactions. Indirect con...
Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit...
JAIHC
2010
147views more  JAIHC 2010»
15 years 27 days ago
Agents and ambient intelligence: case studies
The significance that ambient intelligence (AmI) has acquired in recent years requires the development of innovative solutions. In this sense, the development of AmI-based systems...
Dante I. Tapia, Ajith Abraham, Juan M. Corchado, R...
POPL
2002
ACM
16 years 2 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...
ICALP
2009
Springer
15 years 7 months ago
Multiple Random Walks and Interacting Particle Systems
Colin Cooper, Alan M. Frieze, Tomasz Radzik