Sciweavers

1139 search results - page 160 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
EDM
2009
105views Data Mining» more  EDM 2009»
15 years 4 months ago
Subspace Clustering of Skill Mastery: Identifying Skills that Separate Students
Abstract. In educational research, a fundamental goal is identifying which skills students have mastered, which skills they have not, and which skills they are in the process of ma...
Rebecca Nugent, Elizabeth Ayers, Nema Dean
ICSOFT
2007
15 years 7 months ago
Integrating Software Architecture Concepts Into the MDA Platform
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Benn...
MONTEREY
2007
Springer
16 years 15 days ago
Logic-Based Regulatory Conformance Checking
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 6 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
ER
2010
Springer
121views Database» more  ER 2010»
15 years 5 months ago
Reasoning with Optional and Preferred Requirements
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
Neil A. Ernst, John Mylopoulos, Alexander Borgida,...