Sciweavers

515 search results - page 68 / 103
» Towards a computational transportation science
Sort
View
104
Voted
CAISE
2004
Springer
15 years 1 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...
APCCM
2009
14 years 10 months ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John
OZCHI
2009
ACM
15 years 4 months ago
Technological approaches to promoting physical activity
This paper reflects on the HCI community’s current and potential contributions to the problem of promoting physical activity. It does so by first presenting a conceptual overvie...
Julie Maitland, Katie A. Siek
HICSS
2008
IEEE
98views Biometrics» more  HICSS 2008»
15 years 4 months ago
Improvements in Security Alert Analysis with a Truth Maintenance System
A high percentage of false positives remains a problem in current network security detection systems. With the growing reliance of industry on computer networks, and the growing v...
Albert Tang, Pradeep Ray, Lundy Lewis
ICALT
2008
IEEE
15 years 4 months ago
Cultivating a Landscape of Online Places for a Developmental Learning Community
We describe our work on seeding and building a developmental learning community for recruiting and retaining women in educational programs and careers related to computing and inf...
Mary Beth Rosson, Hansa Sinha, Dejin Zhao, John M....