4075 search results - page 796 / 815 » Modeling Distributed Algorithm Using B |
115
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...
101
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
108
click to vote
RAS
2007
14 years 12 months ago
2007
Range measuring sensors can play an extremely important role in robot navigation. All range measuring devices rely on a ‘detection criterion’ made in the presence of noise, to...
106
click to vote
RECSYS
2009
ACM
15 years 7 months ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...
101
click to vote
NETGAMES
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we present an approach to provide Quality of Service (QoS) for networked mobile gaming. In order to examine the QoS requirements of mobile games, we ported a simple...