7340 search results - page 323 / 1468 » The Behavior of Tutoring Systems |
175
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Despite a growing body of research on knowledge management (KM) systems, many managers are still unsure how they can implement a KM system that will effectively contribut...
203
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
187
click to vote
ICDCSW
2007
IEEE
16 years 29 days ago
2007
IEEE
Free-riders and fake files are two important problems in P2P file sharing systems. Previous works have always used incentive mechanisms and trust mechanisms to address them resp...
282
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
175
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...