Sciweavers

4041 search results - page 191 / 809
» A Model of Creative Understanding
Sort
View
ACSAC
1999
IEEE
15 years 8 months ago
Using Abuse Case Models for Security Requirements Analysis
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
John P. McDermott, Chris Fox
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
SAC
1998
ACM
15 years 8 months ago
A specification language for the WIDE workflow model
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
Daniel K. C. Chan, Jochem Vonk, Gabriel Sanchez, P...
ASWC
2006
Springer
15 years 8 months ago
Transformation from OWL Description to Resource Space Model
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
Hai Zhuge, Peng Shi, Yunpeng Xing, Chao He
ITICSE
2010
ACM
15 years 7 months ago
Helping students build a mental model of computation
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
Steve Kollmansberger