2117 search results - page 95 / 424 » Data Modelling in Complex Application Domains |
123
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
145
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
101
Voted
JDM
2000
15 years 3 months ago
2000
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
111
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
143
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...