2369 search results - page 361 / 474 » Software Supported Modelling in Pharmacokinetics |
159
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
162
click to vote
QSIC
2007
IEEE
16 years 17 days ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
154
click to vote
TGC
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
195
click to vote
VAMOS
2007
Springer
16 years 12 days ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
179
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...