Sciweavers

1635 search results - page 213 / 327
» Cross-layer memory management for managed language applicati...
Sort
View
FLAIRS
2004
15 years 7 months ago
A Dialogue-Based Tutoring System for Beginning Programming
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
H. Chad Lane, Kurt VanLehn
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
ELPUB
1998
ACM
15 years 10 months ago
The Role of the Local Alphabet in Enhancing of the Development of Digital Communication and the Associated Problems
One of the often overlooked aspects of the today’s electronic information spread is that not all people use the Latin alphabet for writing, and even those who use it do not use ...
Zoran Gligorov, Filip Stojanovski
ICWS
2009
IEEE
16 years 3 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
16 years 14 days ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...