2369 search results - page 184 / 474 » Software Supported Modelling in Pharmacokinetics |
152
click to vote
ICWE
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
168
click to vote
TSE
2010
15 years 5 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
164
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
149
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— A generalized kinematic modeling framework, called Mechanism_Model, has been developed for use in the CLARAty robotic reusable software. Mechanism_Model supports a wide range o...
156
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...