Sciweavers

586 search results - page 50 / 118
» Model-Driven User Requirements Specification using SysML
Sort
View
96
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
Change Management for Heterogeneous Development Graphs
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
Serge Autexier, Dieter Hutter, Till Mossakowski
112
Voted
HCI
2007
15 years 4 months ago
A New Gaze-Based Interface for Environmental Control
This paper describes a new control system interface which utilises the user’s eye gaze to enable severely disabled individuals control electronic devices easily. The system is ba...
Fangmin Shi, Alastair G. Gale, Kevin J. Purdy
ICDE
2010
IEEE
246views Database» more  ICDE 2010»
16 years 2 months ago
Admission Control Mechanisms for Continuous Queries in the Cloud
Abstract--Amazon, Google, and IBM now sell cloud computing services. We consider the setting of a for-profit business selling data stream monitoring/management services and we inve...
Alexandros Labrinidis, Christine Chung, Kirk Pruhs...
159
Voted
IHI
2010
186views Healthcare» more  IHI 2010»
14 years 9 months ago
Analysis of an online health social network
With the continued advances of Web 2.0, health-centered Online Social Networks (OSNs) are emerging to provide knowledge and support for those interested in managing their own heal...
Xiaoxiao Ma, Guanling Chen, Juntao Xiao
125
Voted
EDBT
2010
ACM
152views Database» more  EDBT 2010»
15 years 6 months ago
Feedback-based annotation, selection and refinement of schema mappings for dataspaces
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...
Khalid Belhajjame, Norman W. Paton, Suzanne M. Emb...