1742 search results - page 75 / 349 » An Applicative Module Calculus |
CCS
2007
ACM
14 years 4 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
TAMODIA
2007
13 years 11 months ago
2007
In this paper we present a method and a supporting environment that allows remote evaluation of mobile applications. Various modules have been developed in order to gather contextu...
ICWE
2003
Springer
14 years 3 months ago
2003
Springer
This article presents an extension of the OO-H conceptual modelling approach to address the particulars associated with the design and specification of dynamic personalization. We...
BMCBI
2005
13 years 10 months ago
2005
Background: Biological processes are carried out by coordinated modules of interacting molecules. As clustering methods demonstrate that genes with similar expression display incr...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...