Sciweavers

4350 search results - page 256 / 870
» Case studies for contract-based systems
Sort
View
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
16 years 7 days ago
A Soft Systems Analysis of Social Cognition In Boundary-Spanning Innovation
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
Susan Gasson
CCIA
2005
Springer
16 years 5 days ago
Modelling the Human Values Scale in Recommender Systems: A first approach
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
Javier Guzmán, Gustavo González, Jos...
WINE
2005
Springer
98views Economy» more  WINE 2005»
16 years 2 days ago
A Framework on Compound Knowledge Push System Oriented to Organizational Employees
Organizational employees have different knowledge demands and the knowledge is compound. So how to push the right compound knowledge to the right organizational employees becomes i...
Zhi-Ping Fan, Yong Feng, Yong-Hong Sun, Bo Feng, T...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 12 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
167
Voted
RE
2001
Springer
15 years 11 months ago
Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
Daniel Gross, Eric S. K. Yu