Sciweavers

1515 search results - page 225 / 303
» On the relation of aspects and monads
Sort
View
BIRTHDAY
2008
Springer
13 years 11 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
IPCAI
2010
13 years 11 months ago
Visualization and Planning of Neurosurgical Interventions with Straight Access
Image-guided neurosurgical interventional procedures utilize medical imaging techniques to identify the most appropriate path for accessing a targeted structure. Often, preoperativ...
Nikhil V. Navkar, Nikolaos V. Tsekos, R. Jason Sta...
CCS
2008
ACM
13 years 11 months ago
Privacy-safe network trace sharing via secure queries
Privacy concerns relating to sharing network traces have traditionally been handled via sanitization, which includes removal of sensitive data and IP address anonymization. We arg...
Jelena Mirkovic
DOLAP
2005
ACM
13 years 11 months ago
Towards a spatial multidimensional model
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
Sandro Bimonte, Anne Tchounikine, Maryvonne Miquel
APSEC
2007
IEEE
13 years 10 months ago
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characterist
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae