Sciweavers

153 search results - page 22 / 31
» Smart Simulation Using Collaborative Formal and Simulation E...
Sort
View
CAISE
2006
Springer
15 years 1 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
90
Voted
TCBB
2008
137views more  TCBB 2008»
14 years 9 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
SEKE
2007
Springer
15 years 3 months ago
A Development Platform for Distributed User Interfaces
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
Anders Larsson, Magnus Ingmarsson, Bo Sun
CHI
2007
ACM
15 years 1 months ago
Playing with fire: participatory design of wearable computing for fire fighters
In this paper we present our approach of using gamelike techniques for designing wearable computing solutions for the Paris Fire Brigade, consisting of namely a board game and a v...
Markus Klann
80
Voted
CSE
2009
IEEE
15 years 4 months ago
Social Inference Risk Modeling in Mobile and Social Applications
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...
Sara Motahari, Sotirios G. Ziavras, Mor Naaman, Mo...