687 search results - page 132 / 138 » Specification and Verification of Model Transformations Usin... |
116
click to vote
IWMM
2010
Springer
15 years 2 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
101
click to vote
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
114
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
114
click to vote
RTSS
2000
IEEE
15 years 3 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
110
click to vote
BMCBI
2008
15 years 14 days ago
2008
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...