Sciweavers

345 search results - page 19 / 69
» Modular and Incremental Analysis of Concurrent Software Syst...
Sort
View
ICSM
2002
IEEE
15 years 4 months ago
Architecture Analysis Tools to Support Evolution of Large Industrial Systems
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
Tobias Rötschke, René L. Krikhaar
ICRA
2005
IEEE
184views Robotics» more  ICRA 2005»
15 years 5 months ago
3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil ...
ICSE
1998
IEEE-ACM
15 years 4 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
KBSE
2003
IEEE
15 years 5 months ago
Testing Database Transaction Concurrency
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen
ENVSOFT
2008
132views more  ENVSOFT 2008»
14 years 12 months ago
Managing wildlife: A spatial information system for GPS collars data
ISAMUD (Integrated System for Analysis and Management of Ungulate Data) is an integrated and modular software platform developed to manage GPS collar data for wildlife management....
Francesca Cagnacci, Ferdinando Urbano