949 search results - page 137 / 190 » Theory of Constraints |
194
click to vote
POPL
2004
ACM
16 years 27 days ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
87
Voted
PODS
2003
ACM
16 years 21 days ago
2003
ACM
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
108
click to vote
PODS
2006
ACM
16 years 21 days ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
111
Voted
MOBISYS
2007
ACM
16 years 5 days ago
2007
ACM
Location-awareness is an important requirement for many mobile wireless applications today. When GPS is not applicable because of the required precision and/or the resource constr...
107
click to vote
MOBIHOC
2007
ACM
16 years 5 days ago
2007
ACM
We consider wireless ad hoc networks with a large number of users. Subsets of users might be interested in identical information, and so we have a regime in which several multicas...