Sciweavers

1592 search results - page 41 / 319
» The state of the email address
Sort
View
VLDB
2005
ACM
103views Database» more  VLDB 2005»
14 years 1 months ago
Consistency for Web Services Applications
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
Paul Greenfield, Dean Kuo, Surya Nepal, Alan Feket...
PLPV
2010
ACM
14 years 4 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
TPCTC
2009
Springer
104views Hardware» more  TPCTC 2009»
14 years 2 months ago
The State of Energy and Performance Benchmarking for Enterprise Servers
To address the server industry’s marketing focus on performance, benchmarking organizations have played a pivotal role in developing techniques to determine the maximum achievabl...
Andrew Fanara, Evan Haines, Arthur Howard
IROS
2008
IEEE
156views Robotics» more  IROS 2008»
14 years 2 months ago
Bayesian state estimation and behavior selection for autonomous robotic exploration in dynamic environments
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
Georgios Lidoris, Dirk Wollherr, Martin Buss
CICLING
2007
Springer
14 years 2 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner