Sciweavers

2369 search results - page 7 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
SIGSOFT
2005
ACM
16 years 5 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
COMPSAC
2002
IEEE
15 years 9 months ago
A Unified Process Support Framework for Global Software Development
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
Jin Sa, Elena Maslova
KBSE
2005
IEEE
15 years 10 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
JECR
2000
85views more  JECR 2000»
15 years 4 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 10 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner