415 search results - page 24 / 83 » Reengineering Framework for Systems in Education |
90
Voted
WECWIS
2005
IEEE
15 years 3 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
95
Voted
TII
2010
14 years 5 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
111
Voted
ERCIMDL
2008
Springer
15 years 1 days ago
2008
Springer
Abstract. In this paper, we present a framework for managing heterogeneous, multimodal digitized music collections containing visual music representations (scanned sheet music) as ...
92
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
113
Voted
AH
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we present a rule-based personalization framework for encapsulating and combining personalization algorithms known from adaptive hypermedia and recommender ...