Sciweavers

1829 search results - page 162 / 366
» Towards Validation of Requirements Models
Sort
View
ESWS
2008
Springer
15 years 7 months ago
A Core Ontology for Business Process Analysis
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
Carlos Pedrinaci, John Domingue, Ana Karla Alves d...
TEI
2010
ACM
129views Hardware» more  TEI 2010»
15 years 6 months ago
Silent mutations: physical-digital interactions in spaces
Many installations research efforts today explore how to engage participants with embedded digital content and applications in interactive environments. Yet the interactive design...
Claudia Rébola Winegarden, Nicholas Komor, ...
CORR
2011
Springer
197views Education» more  CORR 2011»
14 years 10 months ago
Securing The Kernel via Static Binary Rewriting and Program Shepherding
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
Piotr Bania
WSC
2007
15 years 8 months ago
ExtendSim 7
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
David Krahl
WSC
2000
15 years 7 months ago
Simulation based operational analysis of future space transportation systems
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
Alex J. Ruiz-Torres, Edgar Zapata