805 search results - page 93 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
BMCBI
2005
14 years 9 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
IJHPCA
2002
14 years 9 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...