1718 search results - page 123 / 344 » Modeling and testing of cloud applications |
130
click to vote
FLAIRS
2007
15 years 5 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
120
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
Future Machine Vision applications have to cope with 3D non-rigid objects. One such application is 3D pose estimation of cactus leaves, which is the topic in this paper. We apply ...
152
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
115
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
157
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...