Sciweavers

2369 search results - page 7 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
SIGSOFT
2005
ACM
15 years 10 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 2 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
73
Voted
KBSE
2005
IEEE
15 years 3 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
63
Voted
JECR
2000
85views more  JECR 2000»
14 years 9 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
79
Voted
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 3 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