Sciweavers

2369 search results - page 321 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
SCAM
2007
IEEE
16 years 20 days ago
SUDS: An Infrastructure for Creating Bug Detection Tools
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
Eric Larson
ICWE
2007
Springer
16 years 16 days ago
Transparent Interface Composition in Web Applications
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
Jeronimo Ginzburg, Gustavo Rossi, Matias Urbieta, ...
OOPSLA
2007
Springer
16 years 16 days ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
VMCAI
2007
Springer
16 years 15 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
WER
2007
Springer
16 years 15 days ago
A Requirements Management Framework for Privacy Compliance
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Sepideh Ghanavati, Daniel Amyot, Liam Peyton