1718 search results - page 123 / 344 » Modeling and testing of cloud applications |
FLAIRS
2007
14 years 11 days 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...
WACV
2005
IEEE
14 years 3 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 ...
BMCBI
2005
13 years 10 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 ...
ATAL
2008
Springer
14 years 2 days 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...
ICSE
1999
IEEE-ACM
14 years 2 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 ...