Sciweavers

6197 search results - page 852 / 1240
» Sandbridge Software Tools
Sort
View
GPCE
2009
Springer
15 years 4 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
HCI
2009
15 years 4 months ago
The Impact of Automation Assisted Aircraft Separation on Situation Awareness
This study compared situation awareness across three flight deck decision aiding modes. Pilots resolved air traffic conflicts using a click and drag software tool. In the automated...
Arik-Quang Dao, Summer L. Brandt, Vernol Battiste,...
IFIPTM
2009
119views Management» more  IFIPTM 2009»
15 years 4 months ago
Detection and Prevention of Insider Threats in Database Driven Web Services
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
Tzvi Chumash, Danfeng Yao
CIKM
2010
Springer
15 years 3 months ago
Crawling the web for structured documents
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
Julián Urbano, Juan Loréns, Yorgos A...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...